Bumped PDE version to 4.8.0

Author: nedtwigg

gradle.properties

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