> Ada allows pointer arithmetic.  It is difficult (unchecked conversion is
> needed) but possible.  Does Java have any means of "breaking" its
> references (turning them into integers and back again)?  If not, then their
> statements are true.

Anyone who's determined enough to use this feature of Ada to attempt to
break security can apply the same level of effort to Java.  The JVM will
give the same level of protection (high or low?) to either case.