A sample project that models Featherweight Java