Bonjour,
On ne sait toujours pas si openjdk a été choisi, ou si c'est plutôt le jdk d'oracle.
En tout cas, pour openjdk, cela utilise alternatives.
Donc, si cela retourne une version de java, c'est qu'il y a un java dans le système
java -version
alternatives --config java
Ca retournera les versions des java installés, et permet de changer celui qui est utilisé.
Si ça retourne rien, pour l'installer, s'il n'y pas besoin de support vidéo ou audio:
dnf install java-1.8.0-openjdk-headless
sinon:
dnf install java-1.8.0-openjdk
Sur f25, il est dans: /usr/lib/jvm/java-1.8.0-openjdk-1.8.0.111-3.b16.fc25.x86_64/jre
Concernant le jdk oracle, je ne l'ai jamais installé, ni eu besoin de le faire, alors je ne le connais pas du tout.
Mais si sqldeveloper vient d'oracle, il faudra peut-être utiliser le jdk d'oracle (et dans ce cas, il faudra retirer le openjdk avant)
Pour l'emplacement d'installation de sqldeveloper, il faudrait essayer:
rpm -ql sqldeveloper
(peut-être mettre le nom en entier)