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

[David Holmes]

Hi Igor,

On 2/08/2018 5:42 AM, 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? 

Okay.

> due to changes in javatest API, failure_handler had to be slightly updated.

Don't understand how anything in javatest affected the code you changed, 
but it's cleaner to specify its a Map<String, String> and avoid the casts.

Thanks,
David

> 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
> 
>