An unnecessarily cumbersome implementation of "Hello, World" for Java