xref: /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/javax/swing/text/DefaultHighlighter/6771184/