sanitizing of sketch names to their legit equivalents, also on

PdeSketchbook.rebuildMenu()

processing/app/PdeSketch.java

@@ -321,6 +321,7 @@ public class PdeSketch {
 
     // user cancelled selection
     if (newName == null) return false;
+    newName = PdeSketchbook.sanitizeName(newName);
 
     // new sketch folder
     File newFolder = new File(newParentDir, newName);