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

[Vladimir Kozlov]

Good.

Vladimir

On 8/1/18 12:42 PM, 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
> testing: tier1-2
> 
> Thanks,
> -- Igor
> 
>