More details on the Frege to Java mapping