modified ClassCtxt.java