diff -r 36c2e2bc2eb4 -r 94339837c42d build.xml --- a/build.xml Thu Aug 08 14:48:28 2013 +0200 +++ b/build.xml Thu Aug 08 15:07:12 2013 +0200 @@ -33,7 +33,7 @@ - + @@ -143,6 +143,10 @@ + + + +