If the type name supplied following a throw action cannot be resolved via the rule's class loader then the typecheck method trips over the resulting null pointer. It should guard against this case.