commit 625da98415f8f5529815048f5f41f026215721f3
author Ed Merks <ed.merks@gmail.com> Sun Aug 09 09:13:56 2020 +0200
committer Ed Merks <ed.merks@gmail.com> Sun Aug 09 09:13:56 2020 +0200
tree ade78d724ded90cb482df0dc824ef5c6723c3897
parent dfbef4f06ec8cf7a4feebee9b1bea423a70c2b83

[Releng] Update the Oomph setup's maven.build.java.home to Java 11

setups/Oomph.setup

diff --git a/setups/Oomph.setup b/setups/Oomph.setup
index 863739b..f740437 100644
--- a/setups/Oomph.setup
+++ b/setups/Oomph.setup
@@ -322,12 +322,15 @@
     <mapping
         filePattern="*.launch"
         defaultEditorID="org.eclipse.ui.genericeditor.GenericEditor"/>
+    <mapping
+        filePattern="*.sh"
+        defaultEditorID="org.eclipse.ui.genericeditor.GenericEditor"/>
     <description>Bindings for JET templates</description>
   </setupTask>
   <setupTask
       xsi:type="setup:StringSubstitutionTask"
       name="maven.build.java.home"
-      value="${jre.location-1.8}">
+      value="${jre.location-11}">
     <description>The location used to specify JAVA_HOME in the External Tools Configurations.</description>
   </setupTask>
   <setupTask