--- build.xmlorig 2017-10-16 02:17:50.000000000 +0100 +++ build.xml 2017-12-06 20:05:59.056142612 +0000 @@ -303,36 +303,21 @@ verify="yes" stubversion="1.2" /> - + - - - - - - @@ -104,9 +101,7 @@ - - - + @@ -183,7 +178,7 @@ - + - \ No newline at end of file +