diff -uprN mg4j-0.9.orig/build.xml mg4j-0.9/build.xml --- mg4j-0.9.orig/build.xml 2004-09-01 12:04:18.000000000 +0200 +++ mg4j-0.9/build.xml 2004-11-17 00:30:41.879119728 +0100 @@ -39,25 +39,34 @@ includes="it/unimi/dsi/mg4j/query/parser/**" nowarn="on" debug="on" - optimize="on" + optimize="on" destdir="${build}" - source="1.4" - /> + source="1.4" + target="1.4"> + + + + + + source="1.4" + target="1.4"> + + + + + + basedir="${build}" /> @@ -69,8 +78,7 @@ sourcepath="${src}" private="off" source="1.4" - windowtitle="MG4J ${version}" - > + windowtitle="MG4J ${version}">