--- old/make/build.xml 2015-11-09 10:35:33.901341833 +0100 +++ new/make/build.xml 2015-11-09 10:35:33.813341836 +0100 @@ -311,6 +311,10 @@ + + + + @@ -436,6 +440,7 @@ +