RFR(XXS) : 8208647 : switch jtreg to 4.2b13

Wed Aug 1 20:06:44 UTC 2018

On 2018-08-01 12:42, Igor Ignatyev wrote:
> http://cr.openjdk.java.net/~iignatyev/8208647/webrev.00/index.html
>> 5 lines changed: 0 ins; 0 del; 5 mod;
> Hi all,
>
> could you please review this small fix which switches jtreg to the latest available build? due to changes in javatest API, failure_handler had to be slightly updated.
>
> webrev: http://cr.openjdk.java.net/~iignatyev//8208647/webrev.00/index.html
> JBS: https://bugs.openjdk.java.net/browse/JDK-8208647

Build changes look good.

/Magnus
> testing: tier1-2
>
> Thanks,
> -- Igor
>
>