Got rid of all of the old EasyJava/Facile classes