tree 905e56a14a7b1439f88b09f1e2bdae952b1f3f53
parent d70ae33b876ba5f87a47ccb01dd77f63cc83e24d
author Philipp Wollermann <philwo@google.com> 1593446310 -0700
committer Copybara-Service <copybara-worker@google.com> 1593446378 -0700

Remove Java 12 support

Java 12 is end-of-life and there's no point in investing work to maintain it.

Note that this doesn't actively remove any kind of support - people can still use `java_tools_javac12` in their WORKSPACE file and use their own OpenJDK 12 version as the host_javabase and it will continue to work just as before.

It just means we no longer test changes against it, release new java_tools versions for it and no longer provide bundled `http_archive` definitions for OpenJDK 12 (which is the right thing to do, as we don't want to point our users to unmaintained OpenJDK versions that might eventually be found to contain security issues).

Closes #11666.

PiperOrigin-RevId: 318824088