Hi, Roger
A few things I noticed in src/java.base/share/classes/java/lang/System.java:
* Properties can also be set via setProperties(Properties p), though
that method is not mentioned in the doc changes (other than to
setProperties() itself).
750 * setting a standard property after initialization
's' -> 'S' in "setting"
788 * setting a standard property after initialization using
's' -> 'S' in "setting"
789 * {@link #getProperties()} or {@link #setProperty(String,
String)}
The doc change for getProperties() also mentions "clearProperty()", but
that one is not mentioned here.
The rest looks fine to me.
Thanks,
-Brent
On 6/4/18 6:32 AM, Roger Riggs wrote:
Please review a change to make the values of java.home, user.home,
user.dir, and user.name
effectively read-only for internal use. The values are cached during
initialization and the
cached values are used.
Webrev:
http://cr.openjdk.java.net/~rriggs/webrev-static-property-8066709/
Issue:
https://bugs.openjdk.java.net/browse/JDK-8066709
CSR:
https://bugs.openjdk.java.net/browse/JDK-8204235
Thanks, Roger
