diff --git a/run.sh b/run.sh index 1fbec4f05..4642687bd 100755 --- a/run.sh +++ b/run.sh @@ -1,6 +1,6 @@ #!/bin/sh -export JAVA_HOME=/usr/lib/jvm/java-1.6.0-openjdk-amd64 +export JAVA_HOME=/usr/lib/jvm/java-6-oracle # use this JVM for creating javadocs: #export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64