Index: build.xml =================================================================== --- build.xml (Revision 7035) +++ build.xml (Arbeitskopie) @@ -718,6 +718,7 @@ + @@ -753,6 +754,14 @@ + + + + + + + +