Assertion: platform | /r/HasProperty | represented by the charset
Facets:
value: as of j2se
type: OTHER
Source sentences:
text: They use the default character encoding for the platform, which as of J2SE 5.0 is represented by the Charset returned by the java.nio.charset.Charset.defaultCharset() static method.