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

Mon Dec 18 15:42:10 UTC 2023

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

This pull request has now been integrated.

Changeset: 9f2821f0
Author:    Christoph <siedlerkiller at gmail.com>
Committer: Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/9f2821f01714ffe6a4629ddf8955b974227c2fe7
Stats:     227 lines in 7 files changed: 109 ins; 43 del; 75 mod

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

Reviewed-by: cstein, mcimadamore, jjg

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

PR: https://git.openjdk.org/jtreg/pull/157