Compilation error because of vague JDK version check

[fbartusch]

Compilation error because of vague JDK version check

I try to compile bazel-0.4.4 on a cluster. On that cluster I can load a module that sets the environment for Java 1.8. Loading the module sets JAVA_HOME in the following way:
JAVA_HOME= [some_path]/java_jdk/1.8.0u112

wget https://github.com/bazelbuild/bazel/releases/download/0.4.4/bazel-0.4.4-dist.zip
unzip bazel-0.4.4-dist.zip
./compile.sh

./compile.sh aborts with the message:
Building Bazel from scratchscripts/bootstrap/compile.sh: Line 64: [: 8.0u112: Ganzzahliger Ausdruck erwartet
ERROR: JDK version (1.8) is lower than 1.8.0u112, please set $JAVA_HOME.

I think compile.sh tries to take the java version from the directory name and checks if the suffix '8.0u112' is an integer. Maybe one can strip suffixes of the form 'u112' from the string before the integer conversion

[hvardhanx]

It would be great if anyone could review: https://bazel-review.googlesource.com/#/c/9455/