Corrected a bug in line 812 of TypeChecker.java. Changed a reference to "elementType" on the righthand side to "result". This change enables DynamicJava to get farther in the units in DynamicJavaTest.java. The following files were modified. I added some debugging code (and commented it out) in addition to fixing the bug.