Interpreter of Featherweight Java and Featherweight Generic Java