Main program classes for the FeatherweightJava system. The main program is in {@link fj.main.Main}.