change the StringDemo.java encoding