Assertion: java applet | /r/HasProperty | public class
Facets:
Source sentences:
text: A Java applet must be a public class.