Merge remote-tracking branch 'arduino/master' into ide-1.5.x

Author: cmaglie

app/src/processing/app/Sketch.java

@@ -2027,7 +2027,7 @@ static public String checkName(String origName) {
       String msg =
         _("The sketch name had to be modified. Sketch names can only consist\n" +
           "of ASCII characters and numbers (but cannot start with a number).\n" +
-          "They should also be less less than 64 characters long.");
+          "They should also be less than 64 characters long.");
       System.out.println(msg);
     }
     return newName;