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