Assertion: applet's class | /r/HasProperty | loaded by the class loader
Facets:
Source sentences:
text: Then, those classes loaded by the class loader are passed through the verifier.