[releng] Update the Eclipse SDK used for publication to 4.12

Change-Id: I13efaebdba26d6e8e1b09bae262ffd59b16ad106
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>

org.eclipse.gmf.notation.repository/gmf-notation-hipp-publish.sh

diff --git a/org.eclipse.gmf.notation.repository/gmf-notation-hipp-publish.sh b/org.eclipse.gmf.notation.repository/gmf-notation-hipp-publish.sh
index 67685af..b5b7dd2 100644
--- a/org.eclipse.gmf.notation.repository/gmf-notation-hipp-publish.sh
+++ b/org.eclipse.gmf.notation.repository/gmf-notation-hipp-publish.sh
@@ -80,8 +80,8 @@
 
 # Download and prepare Eclipse SDK, which is needed to process the update site
 echo "`date +%Y-%m-%d-%H:%M:%S` Downloading eclipse to $PWD"
-cp /home/data/httpd/download.eclipse.org/eclipse/downloads/drops4/R-4.11-201903070500/eclipse-SDK-4.11-linux-gtk-x86_64.tar.gz .
-tar -xzf eclipse-SDK-4.11-linux-gtk-x86_64.tar.gz
+cp /home/data/httpd/download.eclipse.org/eclipse/downloads/drops4/R-4.12-201906051800/eclipse-SDK-4.12-linux-gtk-x86_64.tar.gz .
+tar -xzf eclipse-SDK-4.12-linux-gtk-x86_64.tar.gz
 cd eclipse
 chmod 700 eclipse
 cd ..
@@ -93,7 +93,7 @@
 echo "`date +%Y-%m-%d-%H:%M:%S` Installing WTP Releng tools"
 ./eclipse/eclipse -nosplash --launcher.suppressErrors -clean -debug -application org.eclipse.equinox.p2.director -repository http://download.eclipse.org/webtools/releng/repository/ -installIUs org.eclipse.wtp.releng.tools.feature.feature.group
 # Clean up
-rm eclipse-SDK-4.11-linux-gtk-x86_64.tar.gz
+rm eclipse-SDK-4.12-linux-gtk-x86_64.tar.gz
 
 # Generate drop files
 echo "`date +%Y-%m-%d-%H:%M:%S` Converting update site to runnable form"