made javac encoding configurable