Withdrawn: CODETOOLS-7903352: JOL: Drop support for JDK 7

Tue Oct 18 16:48:31 UTC 2022

On Wed, 12 Oct 2022 16:46:10 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/jol/pull/34