diff -uprN webgraph-1.4.old/build.xml webgraph-1.4/build.xml --- webgraph-1.4.old/build.xml 2004-11-25 22:09:18.924727128 +0100 +++ webgraph-1.4/build.xml 2004-11-25 22:31:37.224274672 +0100 @@ -15,6 +15,14 @@ + + + + + + + + @@ -25,7 +33,10 @@ optimize="on" destdir="${build}" source="1.4" - /> + target="1.4"> + + + @@ -48,6 +59,7 @@ +