Naming .java file correctly