more changes to HelloWorld.java