--- 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