--- old/application/org.openjdk.jmc.updatesite.rcp/feature.xml 2019-06-21 17:10:36.497044400 +0200 +++ new/application/org.openjdk.jmc.updatesite.rcp/feature.xml 2019-06-21 17:10:36.375047600 +0200 @@ -51,6 +51,10 @@ version="0.0.0"/> + +