fixing HelloWorld.java