Installez le build Red Hat d’OpenJDK 17 en exécutant la commande suivante : sudo yum install java-17-openjdk-devel Changez le fournisseur Java par défaut en exécutant la commande suivante :sudo update-alternatives --config java