8208647: switch jtreg to 4.2b13

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

Author: phh

make/conf/jib-profiles.js

@@ -893,7 +893,7 @@ var getJibProfilesDependencies = function (input, common) {
         jtreg: {
             server: "javare",
             revision: "4.2",
-            build_number: "b12",
+            build_number: "b13",
             checksum_file: "MD5_VALUES",
             file: "jtreg_bin-4.2.zip",
             environment_name: "JT_HOME",

test/failure_handler/src/share/classes/jdk/test/failurehandler/jtreg/GatherDiagnosticInfoObserver.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2015, 2016, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2015, 2018, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -119,10 +119,10 @@ private void gatherEnvInfo(Path workDir, String name, PrintWriter log,
     public void startingTestRun(Parameters params) {
         // TODO find a better way to get JDKs
         InterviewParameters rp = (InterviewParameters) params;
-        Map<?,?> map = new HashMap<>();
+        Map<String, String> map = new HashMap<>();
         rp.save(map);
-        compileJdk = (String) map.get("regtest.compilejdk");
-        testJdk = (String) map.get("regtest.testjdk");
+        compileJdk = map.get("regtest.compilejdk");
+        testJdk = map.get("regtest.testjdk");
     }
 
     @Override