Releng: build against S-4.13M1-201907111805
diff --git a/features/org.eclipse.objectteams.otdt.core.patch/feature.xml b/features/org.eclipse.objectteams.otdt.core.patch/feature.xml
index d62d9ef..db1fede 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.0.v20190605-1800" patch="true"/>
+      <import feature="org.eclipse.jdt" version="3.18.100.v20190711-1805" 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 6bf7aeb..9fb1a47 100644
--- a/releng/build-scripts/build/otdt_prerequisites-hipp.sh
+++ b/releng/build-scripts/build/otdt_prerequisites-hipp.sh
@@ -65,11 +65,11 @@
 
 # -- Base for testing: --
 # Eclipse SDK build identifier (used for substitution in otdt.map.in etc.):
-SDK_QUALIFIER=${SDK_QUALIFIER:="I20190605-1800"}
+SDK_QUALIFIER=${SDK_QUALIFIER:="I20190711-1805"}
 
 # used only locally (components of the ECLIPSE_SDK_TGZ path):
-EVERSION=${EVERSION:="4.12RC2"}
-DROP=${DROPS4}/${DROP:="S-4.12RC2-201906051800"}
+EVERSION=${EVERSION:="S-4.13M1"}
+DROP=${DROPS4}/${DROP:="S-4.13M1-201907111805}
 
 # 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 7a79252..e569b7b 100644
--- a/releng/build-scripts/build/run.properties
+++ b/releng/build-scripts/build/run.properties
@@ -22,14 +22,14 @@
 run.eclipseScriptDir=plugins/org.eclipse.pde.build_3.10.300.v20190305-0856/scripts
 boot.org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.5.300.v20190213-1655.jar
 # Details of the Eclipse SDK built upon:
-org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.5.400.v20190515-0925.jar
+org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.5.500.v20190620-1700.jar
 
 # for patching our patch feature to match this version with any suffix:
-jdt.feature.version=3.18.0.v20190605-1800
-jdt.feature.version.next=3.18.0.v20190605-1801
+jdt.feature.version=3.18.100.v20190711-18053.18.100.v20190711-1805
+jdt.feature.version.next=3.18.100.v20190711-1805
 
 # jdt.core fragments for extracting pre-built classes and properties:
-jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.600.v20190402-0634.jar
+jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.700.v20190704-1731.jar
 jdt.compiler.tool=org.eclipse.jdt.compiler.tool_1.2.600.v20190322-0450.jar
 # -----------------------------------------------------------