RFR: 7903499: Update various versions used by jtreg's IDEA plugin

[Christian Stein]

On Sat, 10 Jun 2023 18:00:16 GMT, Christoph <duke at openjdk.org> wrote:

> This enables building the plugin with never java versions
> 
> I tested with IntelliJ 2023.1.2 and java 17 and 19
> 
> Plugin still works

Thanks for the review, Maurizio!

I wonder if we can apply something similar to https://github.com/junit-team/junit5/blob/649c9a85fe99087cca9335f3b4cd8024750695c9/gradle/plugins/settings.gradle.kts#L1-L5 in order to enforce a suitable Java version? /cc @marcphilipp

Or is the Java version already checked by
https://github.com/openjdk/jtreg/blob/4b756c42fb9c06bcffe5e6de2312b787d4c9a6f2/plugins/idea/gradle.properties#L4

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

PR Comment: https://git.openjdk.org/jtreg/pull/157#issuecomment-1609318923