8003949: LogManager, downgrade normative reference to ${java.home}/lib/logging.properties

[Alan Bateman]

As part of preparing for modules [1], we need to examine a number of 
normative references to files in ${java.home} with a view to downgrading 
these references to non-normative status. This is important as we need 
the flexibility to eventually move some of these files into 
module-private locations, maybe in some cases replace them with 
something else. This is something I've bought up on security-dev and 
i18n-dev recently as there are number of references to files in 
${java.home} that need to be examined.

The focus of this mail is java.util.logging.LogManager as it specifies 
that the default configuration is loaded from 
${java.home}/lib/logging.properties. Clearly this file is changed in 
some environments, although running with java.util.logging.config.file 
is probably more robust in that the settings can be used with different 
JDK installations. The proposed changes (javadoc changes only, no 
implementation changes) is here:
   http://cr.openjdk.java.net/~alanb/8003949/webrev/

Note that I have also removed the statement that "properties may be set 
via the Preference API" as the implementation has never used the 
preferences and not worth re-visiting now.

-Alan

[1] http://openjdk.java.net/jeps/162