flu [1] filed a request to merge drjava-beta [2] into drjava [3]: drjava is more up to date. [1] https://aur.archlinux.org/account/flu/ [2] https://aur.archlinux.org/pkgbase/drjava-beta/ [3] https://aur.archlinux.org/pkgbase/drjava/