Assertion: applet's class | /r/HasAspect | the .class extension
Facets:
Source sentences:
text: Note that class filenames used in CODE have the .class extension; this is different from in the Java command-line interpreter, which doesn't use the extension.