--- old/releng/platform-definitions/platform-definition-2018-09/pom.xml 2019-01-10 16:02:29.000000000 +0100
+++ new/releng/platform-definitions/platform-definition-2018-09/pom.xml 2019-01-10 16:02:29.000000000 +0100
@@ -36,7 +36,7 @@
org.openjdk.jmc
platform-definitions
- 7.0.0-SNAPSHOT
+ 7.1.0-SNAPSHOT
platform-definition-2018-09
eclipse-target-definition