update java file encoding