diff -ur Arduino-1.6.9.orig/build/build.xml Arduino-1.6.9/build/build.xml
--- Arduino-1.6.9.orig/build/build.xml 2016-05-10 10:36:07.000000000 +0200
+++ Arduino-1.6.9/build/build.xml 2016-07-04 22:46:28.719469457 +0200
@@ -437,26 +437,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -726,30 +706,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-