MarsSeed [1] filed a deletion request for java-12-openjdk [2]: Cleanup of deprecated JDK 12 short-term support packages.
JDK 12 is EOL since October 2019; not even security patches or critical fixes get delivered after that date. Users should migrate to a newer JDK/JRE. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/java-12-openjdk/
