Fix symlinks being replaced with files on save

Fixes #5478

Author: facchinm

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

@@ -33,6 +33,8 @@
 import java.util.*;
 import java.util.logging.Level;
 import java.util.logging.Logger;
+import java.nio.file.Files;
+import java.nio.file.Path;
 
 import cc.arduino.packages.BoardPort;
 
@@ -1058,6 +1060,10 @@ static public void saveFile(String str, File file) throws IOException {
     File temp = File.createTempFile(file.getName(), null, file.getParentFile());
     PApplet.saveStrings(temp, new String[] { str });
     if (file.exists()) {
+      boolean isSymbolicLink = Files.isSymbolicLink(file.toPath());
+      if (isSymbolicLink) {
+        file = file.toPath().toRealPath().toFile().getAbsoluteFile();
+      }
       boolean result = file.delete();
       if (!result) {
         throw new IOException(