Assertion: version | /r/HasProperty | the default
Facets:
value: by typing java -version
type: MANNER
Source sentences:
text: You can determine which version of the JDK is the default by typing java -version in a Terminal window.