Fix Javac encoding method