xref: /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.aot/share/classes/jdk.tools.jaotc.binformat/src/jdk/