Assertion: java exception | /r/HasProperty | throwable
Facets:
Source sentences:
text: Java exceptions must be Throwable, that is, they must be instances of Throwable or any Throwable subclass.