Clarify how to catch java.lang.Error.