Have you seen it recently? Also, there is dev.java as well. And you are mostly supposed to download the JDK from the package manager of your choice where it is

Have you seen it recently? Also, there is dev.java as well. And you are mostly supposed to download the JDK from the package manager of your choice where it is simply just `$PACK_MGR install openjdk`