Hello world in Java