--- old/application/org.openjdk.jmc.updatesite.rcp/src/main/resources/index.html 2019-01-10 16:01:50.000000000 +0100 +++ new/application/org.openjdk.jmc.updatesite.rcp/src/main/resources/index.html 2019-01-10 16:01:49.000000000 +0100 @@ -118,7 +118,7 @@

Requirements