wget
openjdk-17-jre
default-jre