--- build.xml.original 2007-02-09 22:45:29.000000000 +0100 +++ build.xml 2007-02-09 22:46:50.000000000 +0100 @@ -127,6 +127,7 @@ + - @@ -154,6 +155,13 @@ + + + + + @@ -193,6 +201,13 @@ optimize ="${compile.optimize}"> + + + -