Releng: build against I20191120-1800 for 2019-12 M3
diff --git a/features/org.eclipse.objectteams.otdt.core.patch/feature.xml b/features/org.eclipse.objectteams.otdt.core.patch/feature.xml
index d8de6b9..8dacd7c 100644
--- a/features/org.eclipse.objectteams.otdt.core.patch/feature.xml
+++ b/features/org.eclipse.objectteams.otdt.core.patch/feature.xml
@@ -59,7 +59,7 @@
    </url>
 
    <requires>
-      <import feature="org.eclipse.jdt" version="3.18.200.v20191101-0300" patch="true"/>
+      <import feature="org.eclipse.jdt" version="3.18.200.v20191120-1800" patch="true"/>
    </requires>
 
    <plugin
diff --git a/releng/build-scripts/build/otdt_prerequisites-hipp.sh b/releng/build-scripts/build/otdt_prerequisites-hipp.sh
index 2a454d1..b458326 100644
--- a/releng/build-scripts/build/otdt_prerequisites-hipp.sh
+++ b/releng/build-scripts/build/otdt_prerequisites-hipp.sh
@@ -56,11 +56,11 @@
 
 # VERSIONS:
 # Eclipse SDK build identifier (used for substitution in otdt.map.in etc.):
-SDK_QUALIFIER=${SDK_QUALIFIER:="I20191101-0300"}
+SDK_QUALIFIER=${SDK_QUALIFIER:="I20191120-1800"}
 
 # used only locally (components of the ECLIPSE_SDK_TGZ path):
-EVERSION=${EVERSION:="I20191101-0300"}
-DROP=${DROPS4}/${DROP:="I20191101-0300"}
+EVERSION=${EVERSION:="I20191120-1800"}
+DROP=${DROPS4}/${DROP:="I20191120-1800"}
 
 # EXPORT: archive file of the base eclipse SDK build:
 ECLIPSE_SDK_TGZ=${DROP}/eclipse-SDK-${EVERSION}-linux-gtk-${ARCH}.tar.gz
diff --git a/releng/build-scripts/build/run.properties b/releng/build-scripts/build/run.properties
index 74a33c3..17ba685 100644
--- a/releng/build-scripts/build/run.properties
+++ b/releng/build-scripts/build/run.properties
@@ -23,8 +23,8 @@
 org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.5.600.v20191014-2022.jar
 
 # for patching our patch feature to match this version with any suffix:
-jdt.feature.version=3.18.200.v20191101-0300
-jdt.feature.version.next=3.18.200.v20191101-0301
+jdt.feature.version=3.18.200.v20191120-1800
+jdt.feature.version.next=3.18.200.v20191120-1801
 
 # jdt.core fragments for extracting pre-built classes and properties:
 jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.800.v20190919-0948.jar