diff -urpN hsqldb.orig/build/build.xml hsqldb/build/build.xml --- hsqldb.orig/build/build.xml 2006-04-11 19:07:22.000000000 +0200 +++ hsqldb/build/build.xml 2006-07-09 02:07:48.000000000 +0200 @@ -593,12 +593,6 @@ examples: - - - - - -