A Java Hello World (with .java and .class files!)