Bump eclipse to latest 4.15.0

Author: nedtwigg

gradle.properties

@@ -12,7 +12,7 @@ VER_BND_PLATFORM=1.7.0
 VER_SPOTLESS=3.28.1
 
 # The version of PDE (and eclipse platform plugins)
-GOOMPH_PDE_VER=4.8.0
+GOOMPH_PDE_VER=4.15.0
 # Uncomment these to use a non-official release (e.g. nightly)
 #GOOMPH_PDE_UDPATE_SITE=
 #GOOMPH_PDE_ID=

ide/build.gradle

@@ -4,7 +4,7 @@
 apply plugin: 'com.diffplug.oomph.ide'
 oomphIde {
 splash '../_imgs/titlecard.png'
-repoEclipse '4.6.2'
+repoEclipseLatest()
 pde {
 targetplatform {
 it.installation '../target.maven/build'