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

[Christoph Langer]

On Thu, 13 Feb 2020 10:34:07 GMT, Marcus Hirt <hirt 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. ;)

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

I know... but with skara it's so easy to get even such minor changes done :) Thx for the review.

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

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