diff --git a/run.sh b/run.sh index ec8e24843..c153181d4 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-sun # use this JVM for creating javadocs: #export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64