diff -r 052f7ae68918 -r c473996c9241 build.xml --- a/build.xml Thu Sep 04 10:55:15 2014 +0200 +++ b/build.xml Thu Sep 04 13:16:01 2014 +0200 @@ -877,7 +877,7 @@ - + @@ -888,7 +888,7 @@ - +