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

[Maurizio Cimadamore]

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

Marked as reviewed by mcimadamore (Committer).

I tried the branch - it all works very well. One minor note: we should update the README file to say that developers need to set JAVA_HOME to a suitable Java version (e.g. 17 or later), otherwise gradle might pick up a different version and fail.

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

PR Review: https://git.openjdk.org/jtreg/pull/157#pullrequestreview-1500489062
PR Comment: https://git.openjdk.org/jtreg/pull/157#issuecomment-1609215491