Re: java.util.Properties: reproducible write

: java.util.Properties: reproducible write Hello Rob, On 27/11/24 12:52 am, Rob Spoor wrote: > The comment provided in `store(Writer, String)` is added in addition > to the date comment: > > if (comments != null) { > writeComments(bw, comments); > } >

Re: java.util.Properties: reproducible write

Hello Rob, On 27/11/24 12:52 am, Rob Spoor wrote: The comment provided in `store(Writer, String)` is added in addition to the date comment:     if (comments != null) {     writeComments(bw, comments);     }     writeDateComment(bw); The system property can be used to repla

Re: java.util.Properties: reproducible write

The comment provided in `store(Writer, String)` is added in addition to the date comment: if (comments != null) { writeComments(bw, comments); } writeDateComment(bw); The system property can be used to replace the date with a constant, but a) it's not possib

Re: java.util.Properties: reproducible write

Hi Rafael, You might have missed the update added by JDK-8231640 Canonical property storage The comment string can be provided either by a separate method `store(Writer, String)` or by a system property. Regards, Roger On 11/25/24 4:53 PM, Rafael

java.util.Properties: reproducible write

Hello, I find the java.util.Properties class to be quite convenient when writing minor collections of key-values. One unfortunate implication of the store method is that it always contains a comment line with the current date. The comment is never deserialized when loading the file, but the file h