--- lib-src/build-jtreg	2018/02/15 21:33:27	1.10
+++ lib-src/build-jtreg	2018/12/14 03:55:15	1.11
@@ -125,8 +125,11 @@ main() {
   (cd "asmtools/build" && ant build)
   def_make_dir ASMTOOLS_HOME "$PWD/asmtools-"*"-build/release"
 
-  def_make_var BUILD_NUMBER "b12"
+  def_make_var BUILD_NUMBER "b13"
   JTREG_REV="jtreg4.2-${BUILD_NUMBER}"
+  # Emergency release; 4.2-b13 needed for jdk13, but stock 4.2-b13 is
+  # broken and 4.2-b14 is not out yet.
+  JTREG_REV="36c592d2f544"
   hg_clone_codetools jtreg "$JTREG_REV"
 
   def_make_dir JDK17HOME "$HOME/jdk/jdk7"