Made JavaSupport Java 1.6 compliant
Made ExportGrammar Java 1.6 compliant
Made Minimize Java 1.6 compliant
Made Nea2Dea Java 1.6 compliant
Made NeaEpsilon2Nea Java 1.6 compliant
Made pda72Pda6 Java 1.6 compliant
Made all Java 1.6 compliant
-