Java Technology: Asserting architectural soundness