--- build.xml.vanilla 2007-03-18 21:59:10.000000000 +0100 +++ build.xml 2007-03-18 22:00:54.000000000 +0100 @@ -206,7 +206,9 @@ - + + +