MarsSeed [1] filed a deletion request for java-13-openjdk [2]: Cleanup of deprecated JDK 13 short-term support packages.
JDK 13 is EOL since March 2020; 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-13-openjdk/
