Javac2 plugin update