MarsSeed [1] filed a deletion request for jre13 [2]: Cleanup of deprecated JDK/JRE 13 non-LTS, short-term support packages.
Oracle JDK 13 is EOL since 2020-03-17; extended/paid support for updates/fixes not available. Users should migrate to a newer JDK/JRE. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/jre13/
