--- jtidy-04aug2000r7-dev/build.xml.jrockit 2005-08-24 23:03:45.000000000 -0400 +++ jtidy-04aug2000r7-dev/build.xml 2005-08-24 23:04:09.000000000 -0400 @@ -59,6 +59,7 @@ destdir="${build.dir}" includes="**/*.java" deprecation="on" + source="1.4" optimize="${optimize}" debug="${debug}"/>