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