RFR: 6859: Correction in JMC welcome page

Tue Jan 12 17:13:54 UTC 2021

On Tue, 12 Jan 2021 16:13:24 GMT, Suchita Chaturvedi <schaturvedi at openjdk.org> wrote:

> Updated some titles for update sites and made it specific to Open source.

application/org.openjdk.jmc.updatesite.ide/src/main/resources/index.html line 9:

> 7: <html>
> 8:   <head>
> 9:     <title>Eclipse: OpenJDK Plug-ins for JDK Mission Control</title>

The plug-ins is really the Eclipse plug-ins for running JDK Mission Control in Eclipse + optional extra plug-ins. So, the most important quality of the plug-ins, is that it's JDK Mission Control for Eclipse. The second most important one is that it contains optional plug-ins for the plug-in version of JDK Mission Control. If you want to capture both, I guess saying "JDK Mission Control plug-ins for Eclipse" would kinda capture both.

I understand that you want to separate the Oracle plug-ins from the OpenJDK ones, but since OpenJDK is assumed as the default, I don't think that has to be stated.

-------------

PR: https://git.openjdk.java.net/jmc/pull/197