--- jsr166/build.xml	2015/11/06 00:12:54	1.191
+++ jsr166/build.xml	2015/12/17 23:55:06	1.195
@@ -175,7 +175,7 @@
   <property name="java6.docroot.url"      value="http://docs.oracle.com/javase/6/docs"/>
   <property name="java7.docroot.url"      value="http://docs.oracle.com/javase/7/docs"/>
   <property name="java8.docroot.url"      value="http://docs.oracle.com/javase/8/docs"/>
-  <!-- The expected canonical location does not yet exist as of 2014-07 -->
+  <!-- The expected canonical location does not yet exist as of 2015-11 -->
   <!-- <property name="java9.docroot.url" value="http://docs.oracle.com/javase/9/docs"/> -->
   <property name="java9.docroot.url"      value="http://download.java.net/jdk9/docs"/>
   <!-- Default jdk doc location (latest stable release seems best) -->
@@ -289,6 +289,9 @@
     </patternset>
   </fileset>
 
+  <!-- ant -Djtreg.flags=-timeoutFactor:4 -->
+  <property name="jtreg.flags" value=""/>
+
   <macrodef name="run-jtreg-tests">
     <!-- ant -Djtreg9.src.dir=src/test/jtreg/util/concurrent/CompletableFuture jtreg -->
     <attribute name="source" default="7"/>
@@ -310,7 +313,9 @@
     <delete dir="@{workdir}/JTwork"   quiet="true"/>
     <delete dir="@{workdir}/JTreport" quiet="true"/>
     <mkdir dir="@{workdir}/JTwork/scratch"/>
-    <mkdir dir="@{workdir}/JTreport"/>
+    <!-- workaround for https://bugs.openjdk.java.net/browse/CODETOOLS-7901571 -->
+    <mkdir dir="@{workdir}/JTreport/html"/>
+    <mkdir dir="@{workdir}/JTreport/text"/>
     <jtreg dir="${jtreg@{target}.src.dir}"
            jdk="${jdk@{target}.home}"
            workDir="@{workdir}/JTwork"
@@ -324,6 +329,7 @@
       <arg value="-automatic"/>
       <arg value="-k:!ignore"/>
       <arg line="@{jtregflags}"/>
+      <arg line="${jtreg.flags}"/>
     </jtreg>
     </sequential>
   </macrodef>
@@ -386,6 +392,9 @@
       <compilerarg line="${build.args}"/>
 
     </javac>
+
+    <!-- We need jdk9's Contended annotation, but at compile time only -->
+    <delete file="${destdir}/jdk/internal/vm/annotation/Contended.class"/>
   </target>