hg: jdk-updates/jdk11u: 8208647: switch jtreg to 4.2b13

[paul.hohensee at gmail.com]

Changeset: a23d4b4ea281
Author:    phh
Date:      2018-12-07 08:14 -0800
URL:       http://hg.openjdk.java.net/jdk-updates/jdk11u/rev/a23d4b4ea281

8208647: switch jtreg to 4.2b13
Summary: Increment build number to b13 and replace '?' with String in GatherDiagnosticInfoObserver:startingTestRun
Reviewed-by: robm

! make/conf/jib-profiles.js
! test/failure_handler/src/share/classes/jdk/test/failurehandler/jtreg/GatherDiagnosticInfoObserver.java