Frege code generator for Java classes