--- Arduino-1.8.9/build/build.xml.orig 2019-02-26 02:16:33.845398910 +0100
+++ Arduino-1.8.9/build/build.xml 2019-02-26 02:22:56.667235290 +0100
@@ -649,15 +649,6 @@
-
-
-
-
-
-
-
-
-
@@ -674,15 +665,6 @@
-
-
-
-
-
-
-
-
-
@@ -704,28 +686,9 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -746,16 +709,6 @@
-
-
-
-
-
-
-
-
-
-
@@ -764,16 +717,6 @@
-
-
-
-
-
-
-
-
-
-
@@ -782,16 +725,6 @@
-
-
-
-
-
-
-
-
-
-