Integrated: 7348: JMC preference options are duplicated

[Guru Hb]

On Wed, 28 Jul 2021 10:26:59 GMT, Guru Hb <ghb at openjdk.org> wrote:

> "General" , "Appearance" and "Keys" had duplicate entry . This was due to some in consistence "org.eclipse.ui.*" Components were used (one with older + latest version which is causing duplicate entry). 
> 
> Solution : adding "resolution:=optional" resolves the duplicate entry. ~~Restricted the Eclipse UI components to v3.2.0 and less than equal to 4.0.0.~~

This pull request has now been integrated.

Changeset: 76f5a565
Author:    Guru Hb <ghb at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/76f5a56554082d7b5663b557ce1e6a6fcde60867
Stats:     46 lines in 2 files changed: 40 ins; 0 del; 6 mod

7348: JMC preference options are duplicated

Reviewed-by: hirt

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

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