[minor feature change] java.util.Properties

[Brian Goetz]

The corelibs-dev mailing list is the right place to discuss this.

> On Dec 15, 2019, at 9:41 AM, Bradley Willcott <optusprepaid1 at gmail.com> wrote:
> 
> Hi there,
> 
> I don't know where the correct place is to propose a change to the Java SDK.
> 
> I would like to propose a change that would make the current built-in treatment of the space character ' ' as a key/value pair separator, to be optional.  This would allow for keys to have un-escaped space characters in them, as is often the case in Windows ini files.
> 
> 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.
> 
> Brad.
> 
>