#8 Change encoding for java file "HelloWorld"