MarsSeed [1] filed a deletion request for drjava [2]: This beta version IDE is EOL since 2019, and is incompatible with Java > 8.
Also the currently configured upstream URL now leads to a fake site. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/drjava/
