--- old/application/org.openjdk.jmc.updatesite.ide/src/main/resources/index.html 2019-01-08 14:12:47.000000000 +0530 +++ new/application/org.openjdk.jmc.updatesite.ide/src/main/resources/index.html 2019-01-08 14:12:47.000000000 +0530 @@ -1,7 +1,7 @@ @@ -142,7 +142,7 @@