hg: code-tools/jtreg: 7902256: jtreg plugin broken by 2018.2 changes

[maurizio.cimadamore at oracle.com]

Changeset: 4115ed764219
Author:    mcimadamore
Date:      2018-07-31 17:24 +0100
URL:       http://hg.openjdk.java.net/code-tools/jtreg/rev/4115ed764219

7902256: jtreg plugin broken by 2018.2 changes
* Add missing overrides
* Improve recovery when DOM indexing fails

! plugins/idea/resources/META-INF/plugin.xml
! plugins/idea/src/com/oracle/plugin/jtreg/configuration/JTRegConfiguration.java
! plugins/idea/src/com/oracle/plugin/jtreg/service/JTRegService.java