Re: Specification of Properties.load() does not define behaviour in case of duplicate keys

2020-01-09 Thread Patrick Reinhart
I see the the problematic there. At least we should clarify the actual behavior within the load() method specification stating the current state. Having done this the question would be what could be an appropriate method name/signature for the new behavior? loadUnique() loadDistinct() or

Re: Specification of Properties.load() does not define behaviour in case of duplicate keys

2020-01-09 Thread Alan Bateman
On 09/01/2020 09:35, Patrick Reinhart wrote: He everyone, When loading a properties file using java.util.Properties.load() the behaviour for duplicate key values is not yet specified. The actual implementation overwrites existing key/value defined within the current file by the further down

Specification of Properties.load() does not define behaviour in case of duplicate keys

2020-01-09 Thread Patrick Reinhart
He everyone, When loading a properties file using java.util.Properties.load() the behaviour for duplicate key values is not yet specified. The actual implementation overwrites existing key/value defined within the current file by the further down without any warning or exception. This has l