Another possibility to consider top deal with this issue is to just catch the ClassFormatException and return null. That's exactly what is done at the bottom of JdtCompiler.INameEnvironment.findType(char[][])
http://gwt-code-reviews.appspot.com/1425810/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors