The main .java file