[minor feature change] java.util.Properties

Bradley Willcott optusprepaid1 at gmail.com
Sun Dec 15 16:37:45 UTC 2019

Hi there,

I have been told that this is the correct place is to propose a change 
to the Java SDK.

I would like to propose the following changes to /java.util.Properties/:

1) That the current built-in treatment of the space character ' ' as a 
key/value pair separator, be made optional.  This would allow for keys 
to have un-escaped space characters in them, as is often the case in 
Windows '.ini' files. I have also found a few linux '.conf' files with 
them as well!

2) That the output of the commented Date be made optional.

I already have a working modified copy of the class in my own class 
library.  However, this can only be a short term solution as it will 
become a problem once the JDK version is changed.

Thoughts and helpful suggestions please.


More information about the core-libs-dev mailing list