--- build.xml.patch2 2011-08-15 09:19:37.969353859 +0200 +++ build.xml 2011-08-15 09:22:14.197533250 +0200 @@ -119,8 +119,7 @@ Build-Date: ${build.tstamp} - - +