Withdrawn: CODETOOLS-7903355: JMH: Drop support for JDK 7

Thu Oct 20 11:48:15 UTC 2022

On Thu, 13 Oct 2022 15:39:08 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

> Head JDK 20-ea does not support building with -source/target 7 anymore. JDK 7 is very old and unlikely to be used widely. We can bump the minimal version to JDK 8 to get... ahem... all the new features that release brings! 
> 
> If you have a strong opinion that we should **not** drop JDK 7 support, please speak up soon.

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.org/jmh/pull/86