RFR: 6693: Eclipse projects core/org.openjdk.jmc.jdp* should have the correct JRE target level

Thu Feb 13 10:36:29 UTC 2020

On Thu, 13 Feb 2020 07:31:14 GMT, Christoph Langer <clanger at openjdk.org> wrote:

> 6693: Eclipse projects core/org.openjdk.jmc.jdp* should have the correct JRE target level

This is fine, though temporary - we will likely move all of core up to 8 soon enough. ;)

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

Marked as reviewed by hirt (Lead).

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