--- build.xml.orig 2012-07-06 20:26:21.361299240 +0200 +++ build.xml 2012-07-06 20:26:56.085899911 +0200 @@ -487,12 +487,14 @@ + --- build.xml.orig 2012-07-06 20:31:31.387806167 +0200 +++ build.xml 2012-07-06 20:32:33.185315885 +0200 @@ -646,9 +646,11 @@ +