Assertion: applet's class | /r/HasProperty | part of the java.awt package
Facets:
Source sentences:
text: All three classes are part of the java.awt package that is imported by our applet.