--- build.xml.orig 2017-08-18 15:20:46.597557692 +0100 +++ build.xml 2017-08-18 15:21:16.347227377 +0100 @@ -1670,7 +1670,7 @@ description="Generates the API documentation"> @@ -1878,7 +1878,7 @@