fix javac encoding