Change javac encoding