Integrated: 8358530: Properties#list should warn against non-String values

Wed Jul 23 16:34:01 UTC 2025

On Tue, 20 May 2025 16:03:14 GMT, cagliostro92 <duke at openjdk.org> wrote:

> Trivial PR to enhance Javadoc for the `Properties#list` method, which has cost me some debugging time.

This pull request has now been integrated.

Changeset: 03e9ea16
Author:    Edoardo Patti <edoardopatti25 at gmail.com>
Committer: Justin Lu <jlu at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/03e9ea169b7e45ae3c2ac23b5fe73d39ae57506f
Stats:     7 lines in 1 file changed: 0 ins; 0 del; 7 mod

8358530: Properties#list should warn against non-String values

Reviewed-by: jlu, liach

-------------

PR: https://git.openjdk.org/jdk/pull/25334