make/conf/jib-profiles.js

rev 51278 : 8208647: switch jtreg to 4.2b13
Reviewed-by: duke

@@ -899,11 +899,11 @@
         },
 
         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",
             environment_path: input.get("jtreg", "install_path") + "/jtreg/bin"
         },