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