openjdk et $JRE_HOME

Version imprimable