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 @@ - - - - - - - - - - - - - - - - - - - - - - - -