Files weren't deleted from temp unsaved sketch folder. Fixes arduino#4233

Author: Federico Fissore

app/src/processing/app/Sketch.java

@@ -463,7 +463,7 @@ public void handleDeleteCode() throws IOException {
 
       } else {
         // delete the file
-        if (!current.getCode().deleteFile(BaseNoGui.getBuildFolder(data))) {
+        if (!current.getCode().deleteFile(BaseNoGui.getBuildFolder(data).toPath(), Paths.get(System.getProperty("java.io.tmpdir"), "arduino_" + DigestUtils.md5Hex(getMainFilePath())))) {
           Base.showMessage(tr("Couldn't do it"),
                            I18n.format(tr("Could not delete \"{0}\"."), current.getCode().getFileName()));
           return;

arduino-core/src/processing/app/SketchCode.java

@@ -91,12 +91,12 @@ protected boolean fileReadOnly() {
   }
 
 
-  protected boolean deleteFile(File tempBuildFolder) throws IOException {
+  protected boolean deleteFile(Path tempBuildFolder, Path tempUnsavedSketchPath) throws IOException {
     if (!file.delete()) {
       return false;
     }
 
-    List<Path> tempBuildFolders = Stream.of(tempBuildFolder.toPath(), Paths.get(tempBuildFolder.getAbsolutePath(), "sketch"))
+    List<Path> tempBuildFolders = Stream.of(tempBuildFolder, tempBuildFolder.resolve("sketch"), tempUnsavedSketchPath)
       .filter(path -> Files.exists(path))
       .collect(Collectors.toList());