--- jsr166/build.xml 2017/06/16 21:30:00 1.247 +++ jsr166/build.xml 2017/07/03 20:36:55 1.249 @@ -597,22 +597,20 @@ - - + - - - - - + + + + - - - - - + + + + - + @@ -1375,7 +1373,6 @@ - - - - - - - - - - + @@ -1438,16 +1425,7 @@ workdir="${build.dir}" classes="${product.jar}"> - - - - - - - - - - +