I don't know how they did it, but you could use that jep id as a query in the jdk issue tracker [0], and then use the issue tracker id to find the corresponding

I don't know how they did it, but you could use that jep id as a query in the jdk issue tracker [0], and then use the issue tracker id to find the corresponding github issue [1]. (I had hoped for commits with that prefix, but there don't seem to be any for that issue.) [0] https://bugs.openjdk.org/browse/JDK-8277131?jql=issuetype%20%3D%20JEP%20AND%20text%20~%20%22425%22 https://bugs.openjdk.org/browse/JDK-8277131?jql=issuetype%20... [1] https://github.com/openjdk/jdk/pull/8787 https://github.com/openjdk/jdk/pull/8787