Some Java helloworlds