>>>>> "Mark" == Mark Mitchell <mark@codesourcery.com> writes: Mark> Do we need functionality like this for Ada or Java? It is not needed for Java. Tom