Phil et al,
>
> Since Java compilers are not subject to third-party testing, one wonders how
> the COE folks know that Java-to-JBC compilers don't "inadvertently bypass
> intended Java security features."
>
> Philip W. Brashear

Well, EVERYONE knows that only Ada compilers have to justify their
existence and correctness. Java and C++ compilers are ipso facto
OK, even for the DoD, just 'cause their vendors say so. :-)

Sorry for the cynicism...

Mike