hg: jdk/sandbox: 8213920: Use {@systemProperty} tag for properties listed in System.getProperties

[chris.hegarty at oracle.com]

Changeset: 9a899e2c3e64
Author:    pmuthuswamy
Date:      2018-11-20 10:07 +0530
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/9a899e2c3e64

8213920: Use {@systemProperty} tag for properties listed in System.getProperties
Reviewed-by: mchung, alanb

! src/java.base/share/classes/java/lang/System.java