--- build.xml 2011-06-30 18:08:18.000000000 +0200 +++ build.xml.old 2011-06-30 18:08:01.000000000 +0200 @@ -1,6 +1,6 @@ - + @@ -12,17 +12,12 @@ - - - - - -