A Hello World application in Java