diff options
-rw-r--r-- | cje-production/buildproperties.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cje-production/buildproperties.txt b/cje-production/buildproperties.txt index 81906f66a..836201571 100644 --- a/cje-production/buildproperties.txt +++ b/cje-production/buildproperties.txt @@ -49,5 +49,5 @@ BASEBUILDER_DIR="tmp/org.eclipse.releng.basebuilder" ECLIPSE_RUN_REPO="http://download.eclipse.org/eclipse/updates/4.14-I-builds/" #Maven parameters -MAVEN_OPTS="-Xms2048m -Xmx4096m " -JAVA_DOC_TOOL="-Declipse.javadoc=/opt/tools/java/openjdk/jdk-11_x64-latest/bin/javadoc" +MAVEN_OPTS="-Xmx4096m" +JAVA_DOC_TOOL="-Declipse.javadoc=/opt/tools/java/openjdk/jdk-11/latest/bin/javadoc" |