--- jsr166/build.xml	2016/03/27 19:38:01	1.206
+++ jsr166/build.xml	2016/03/28 04:00:09	1.207
@@ -327,10 +327,6 @@
 
     <delete dir="@{workdir}/JTwork"   quiet="true"/>
     <delete dir="@{workdir}/JTreport" quiet="true"/>
-    <mkdir dir="@{workdir}/JTwork/scratch"/>
-    <!-- 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"