git: openjdk/jdk: master: 8309748: Improve host selection in `External Specifications` page

[Hannes Wallnöfer]

Changeset: aa6c06e1
Branch: master
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2026-02-26 18:50:45 +0000
URL:       https://git.openjdk.org/jdk/commit/aa6c06e1665cd44ae880824aedb3c861f0951cb1

8309748: Improve host selection in `External Specifications` page

Reviewed-by: nbenalla

! src/java.base/share/classes/java/lang/Character.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/ExternalSpecsWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/stylesheet.css
! test/langtools/jdk/javadoc/doclet/testSpecTag/TestSpecTag.java