"JBoss Tools" themes seem to be included in JBDS even though JBDS-2631 was rejected and not supposed to be included.

Now users are reporting issues on them in JBDS-2781 and JBDS-2782 we'll need to decide what to with them.

My suggestion is we remove them in JBDS 8 and if a missing theme does not affect a user having already used these themes I suggest we remove them in JBDS 7.1 too.

Thus setting suggested release target to 7.1 but if investigation shows it will hurt update path then at least remove them in 8.0.

WDYT ?