envsetup.sh: support different openjdk locations

Some distributions install openjdk in a different location than Ubuntu.
Try to detect them one by one.

Tested OK on Fedora with openjdk-1.7.0.

diff --git a/envsetup.sh b/envsetup.sh
index 6ad3a9e..ba2379f 100644 (file)
--- a/envsetup.sh
+++ b/envsetup.sh
@@ -1421,7 +1421,10 @@ function set_java_home() {
               export JAVA_HOME=$(/usr/libexec/java_home -v 1.7)
               ;;
           *)
-              export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64
+              for j in java-1.7.0 java-7-openjdk-amd64; do
+                  [ -d /usr/lib/jvm/$j ] && break
+              done
+              export JAVA_HOME=/usr/lib/jvm/$j
               ;;
       esac