Restoring JAVAC version