+1 On 11/21/2018 08:02 AM, Maurizio Cimadamore wrote: > Please review this small change necessary to make the jtreg plugin > work against the latest IntelliJ version (2018.3) > > http://cr.openjdk.java.net/~mcimadamore/7902348/ > > Cheers > Maurizio >