fixing reification code for Java.