git: openjdk/jdk19: 8288531: Empty spans in mobile navigation markup

[Hannes Wallnöfer]

Changeset: c74a9235
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2022-06-21 16:02:22 +0000
URL:       https://git.openjdk.org/jdk19/commit/c74a9235fc4526d9954ba3cedd14bbb370217570

8288531: Empty spans in mobile navigation markup

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/Navigation.java