An Ada to Java-Byte-Code compiler