Re: [minor feature change] java.util.Properties

2019-12-15 Thread Alan Bateman
On 15/12/2019 16:37, Bradley Willcott wrote: 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/

[minor feature change] java.util.Properties

2019-12-15 Thread Bradley Willcott
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