--- jsr166/build.xml	2015/09/30 15:30:46	1.184
+++ jsr166/build.xml	2015/09/30 18:12:20	1.186
@@ -194,12 +194,6 @@
   <taskdef name="jtreg" classname="com.sun.javatest.regtest.Main$$Ant"
            classpath="${lib.dir}/jtreg.jar" />
 
-  <!-- Test classpath -->
-  <path id="test.classpath">
-    <pathelement location="${build.testcases.dir}"/>
-    <pathelement location="${junit.jar}"/>
-  </path>
-
   <!-- Tck options; see JSR166TestCase.java
    To profile a single tck test class:
    ant -Djsr166.profileTests=true -Djsr166.profileThreshold=10 -Djsr166.tckTestClass=CompletableFutureTest tck
@@ -322,7 +316,7 @@
       <arg value="-Xbootclasspath/p:@{classes}" unless:set="modules"/>
       <arg value="-Xoverride:${build.classes.dir}" if:set="modules"/>
       <arg value="-agentvm"/>
-      <arg value="-v:nopass,fail"/>
+      <arg value="-verbose:nopass,fail,error"/>
       <arg value="-vmoptions:-esa -ea"/>
       <arg value="-automatic"/>
       <arg value="-k:!ignore"/>