MarsSeed [1] filed a request to merge jre-jetbrains [2] into jdk17-jetbrains-bin [3]: Consolidating packages, as both are the same. The pkgname has to have the '-bin' suffix, as both are based on prebuilt binaries of an open-source codebase. 'jdk' is also a more proper name than 'jre', as both contain the full Java Development Kit as well as the runtime environment. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/jre-jetbrains/ [3] https://aur.archlinux.org/pkgbase/jdk17-jetbrains-bin/