--- build.xml.old 2012-02-05 18:47:45.000000000 +0100 +++ build.xml 2012-02-05 18:52:41.000000000 +0100 @@ -184,7 +184,7 @@ - + @@ -231,7 +231,7 @@ - + @@ -430,6 +430,7 @@ + -