Integrated: 8348038: Docs build failing in Options.notifyListeners with AssertionError

[Archie Cobbs]

On Sun, 19 Jan 2025 18:38:57 GMT, Archie Cobbs <acobbs at openjdk.org> wrote:

> The change in [JDK-8347474](https://bugs.openjdk.org/browse/JDK-8347474) caused `make all-docs-bundles` to start failing. This PR includes a fix for that.

This pull request has now been integrated.

Changeset: 0fbf10a9
Author:    Archie Cobbs <acobbs at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/0fbf10a9cf51d01d82cd43cf0edfaeee83313a9c
Stats:     73 lines in 3 files changed: 62 ins; 3 del; 8 mod

8348038: Docs build failing in Options.notifyListeners with AssertionError

Reviewed-by: jlahoda, mcimadamore

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

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