--- old/application/org.openjdk.jmc.rcp.product/jmc.product 2019-04-28 01:26:32.141589900 +0200 +++ new/application/org.openjdk.jmc.rcp.product/jmc.product 2019-04-28 01:26:32.030577400 +0200 @@ -96,7 +96,7 @@ - +