Comment installer les sources du JDK ?

Dans le cas de java 11 (sur Ubuntu 18.04), je l'ai fait :

D'abord j'installe jdk 11 :

sudo apt install openjdk-11-jdk

J'installe les sources comme ceci :

sudo apt-get install openjdk-11-source

Et je les ai trouvés dans /usr/lib/jvm/openjdk-11/lib/src.zip

J'utilise Eclipse donc je vais dans le menu d'Eclipse Window -> Preferences -> Installed JREs et à l'intérieur sélectionnez java-11-openjdk-amd64 -> edit -> select the jar (jrt-fs.jar) -> Source Attachment -> External location -> /usr/lib/jvm/openjdk-11/lib/src.zip

Maintenant, je suis heureux de lire la documentation java ! :)

Bonne chance à tous !

Dans le cas de java 13, il suffit d'exécuter sudo apt-get install openjdk-13-source