Re: RFR: 8358530: enhanced Properties#list javadoc

2025-07-15 Thread Justin Lu
On Tue, 20 May 2025 16:03:14 GMT, cagliostro92 wrote: > Trivial PR to enhance Javadoc for the `Properties#list` method, which has > cost me some debugging time. The copyright year for this file should also be updated: `1995, 2025,` Also, the PR title will need to be changed to, _8358530: Prop

Re: RFR: 8358530: enhanced Properties#list javadoc

2025-07-15 Thread Justin Lu
On Tue, 20 May 2025 16:03:14 GMT, cagliostro92 wrote: > Trivial PR to enhance Javadoc for the `Properties#list` method, which has > cost me some debugging time. It does appear true that a `ClassCastException` is thrown if a value is not a String for `Properties.list(PrintWriter)` and the behav

Re: RFR: 8358530: enhanced Properties#list javadoc

2025-07-15 Thread cagliostro92
On Fri, 11 Jul 2025 20:51:38 GMT, Justin Lu wrote: >> Trivial PR to enhance Javadoc for the `Properties#list` method, which has >> cost me some debugging time. > > It does appear true that a `ClassCastException` is thrown if a value is not a > String for `Properties.list(PrintWriter)` and the b

RFR: 8358530: enhanced Properties#list javadoc

2025-07-15 Thread cagliostro92
Trivial PR to enhance Javadoc for the `Properties#list` method, which has cost me some debugging time. - Commit messages: - 8358530: adds warnings against non-String values in Properties class documentation Changes: https://git.openjdk.org/jdk/pull/25334/files Webrev: https://we