--- old/application/org.openjdk.jmc.rcp.product/feature.xml 2019-01-10 16:01:35.000000000 +0100 +++ new/application/org.openjdk.jmc.rcp.product/feature.xml 2019-01-10 16:01:35.000000000 +0100 @@ -34,7 +34,7 @@