Eclipse Oxygen et JDK 9 sous Linux

Bonjour.
Mon système est une Ubuntu 16.04 LTS.
Je viens d'installer Eclipse Oxygen 4.7.1, que j'ai mis à jour. Répertoire /opt/eclipse

Je viens aussi d'installer le JDK 9 d'Oracle, répertoire /opt/jdk-9

Ma question est maintenant : comment faire comprendre à Eclipse qu'il doit utiliser le nouveau JDK/JRE ??

Je remarque que lorsque, dans Eclipse, j'essaie d'aller sur Window > Preferences > Java > Installed JRE
et que je tente de donner dans Add > Standard VM pour home /opt/jdk-9 et pour name jdk-9, j'obtiens un
message d'erreur :
Target is not a JDK root. System library was not found.

J'en suis là.

Toute aide bienvenue...

Eh bien je réponds à ma propre question, pour ceux que cela pourrait intéresser...
J'avais téléchargé Eclipse 4.7.1, qui n'était pas encore adaptée nativement à Java 9...
Quelques heures plus tard est sortie la version d'Eclipse 4.7.1a, que j'ai finalement installée : les difficultés que j'avais mentionnées plus haut
ont alors complètement disparu.