woctl run: permettre de choisir la version de java utilisée pour le lancement

woctl

@@ -726,6 +726,9 @@ OPTIONS
         Implique -o"
     }
 
+    DEFAULT_JDKVER=1.5
+
+    jdkver=
     debug=true
     sqldebug=false
     directconnect=false
@@ -736,6 +739,11 @@ OPTIONS
     directaction=
     parse_opts "${PRETTYOPTS[@]}" \
         --help '$exit_with __display_help' \
+        --1.5 jdkver=1.5 \
+        --1.6 jdkver=1.6 \
+        --1.7 jdkver=1.7 \
+        --1.8 jdkver=1.8 \
+        --jdkver: jdkver= \
         -D:: '$set@ debug true' \
         -S:: '$set@ sqldebug true' \
         -d:: '$set@ directconnect true' \
@@ -779,7 +787,8 @@ OPTIONS
     fi
 
     urequire java
-    select_java 1.5 || die "Impossible de trouver une version de java 1.5"
+    [ -n "$jdkver" ] || jdkver="$DEFAULT_JDKVER"
+    select_java "$jdkver" || die "Impossible de trouver une version de java $jdkver"
 
     if [ -n "$remotedebug" ]; then
         enote "L'application peut être débuggée en mode remote sur le port $remotedebug_port"