Update HelloWorld.java

(I am so used to the international keyboards...)