diff --git a/lib/ulib/java b/lib/ulib/java
index 6a8d845..588cb64 100644
--- a/lib/ulib/java
+++ b/lib/ulib/java
@@ -520,6 +520,16 @@ function select_java_any() {
     return 1
 }
 
+function get_java_version() {
+    # Afficher la version de java qui installée dans $1(=$JAVA_HOME)
+    # En cas d'erreur, ne rien afficher.
+    local java_home="$1"
+    [ -n "$java_home" ] || java_home="$JAVA_HOME"
+    [ -n "$java_home" ] || return 1
+    "$java_home/bin/java" -version 2>&1 >/dev/null |
+        awk '{ if (match($0, /".*"/) != 0) { print substr($0, RSTART + 1, RLENGTH - 2) }; exit }'
+}
+
 ################################################################################
 # Gestion des préfixes