add JAVA encoding setting