Index: make/build-java.xml =================================================================== --- make/build-java.xml.orig 2006-05-08 20:37:26.000000000 +0100 +++ make/build-java.xml 2006-05-08 20:37:32.000000000 +0100 @@ -213,12 +213,6 @@ - - - - - -