Assertion: applet's class file | /r/HasProperty | processed by tool
Facets:
Source sentences:
text: This goes to the point that as part of a standard build cycle, a Java Card program is compiled into a Java class file by a Java compiler; the class file is post-processed by tools specific to the Java Card platform.