diff -r 556876366259 -r 7b10faf739fd make/build.xml --- a/make/build.xml Tue Jun 02 14:34:37 2015 +0200 +++ b/make/build.xml Tue Jun 02 14:35:03 2015 +0200 @@ -1,7 +1,7 @@ @@ -685,7 +685,7 @@ - + @@ -726,6 +726,18 @@ + + + + + + + + + + + +