Move install-jdk.properties (or similar) to jdk.java.net

[sormuras]

@magicus writes:

I like your idea -- I think it makes sense to publish some kind of machine readable manifest of available binary releases on jdk.java.net. I'll discuss with my colleagues at Oracle to see if it is possible to implement with a reasonable amount of effort.

Here's the single-file source-code program that parses the HTML sources in order to generate install-jdk.properties every now and then:

• https://github.com/sormuras/bach/blob/master/src/bach/ShowJdkBuilds.java

The install-jdk.properties file is consumed, at least, by:

• https://github.com/sormuras/bach/blob/master/install-jdk.sh
• https://github.com/marketplace/actions/download-jdk