added ConvertJavaEncoding.java