modified the type checker integration of the IDE to handle the internal exception stating that too many errors has been detected. (Note that the type checker did already handle this but the IDE reported a safebuilder error before it stored the markers)