Method copyFile

app/src/processing/app/Sketch.java:1134–1168

Overloaded copyFile that is called whenever a Save As is being done, so that the ProgressBar is updated for very large files as well.

(File sourceFile, File targetFile,
                      long progress, long totalSize)

         * so that the ProgressBar is updated for very large files as well.
         */
        void copyFile(File sourceFile, File targetFile,
                      long progress, long totalSize) throws IOException {
          BufferedInputStream from =
            new BufferedInputStream(new FileInputStream(sourceFile));
          BufferedOutputStream to =
            new BufferedOutputStream(new FileOutputStream(targetFile));
          byte[] buffer = new byte[16 * 1024];
          int bytesRead;
          int progRead = 0;
          while ((bytesRead = from.read(buffer)) != -1) {
            to.write(buffer, 0, bytesRead);
            progRead += bytesRead;
            if (progRead >= 512 * 1024) {  // to update progress bar every 0.5MB
              progress += progRead;
              //progressBar.setValue((int) Math.min(Math.ceil(progress * 100.0 / totalSize), 100));
              setProgress((int) (100L * progress / totalSize));
              progRead = 0;
            }
          }
          // Final update to progress bar
          setProgress((int) (100L * progress / totalSize));

          from.close();
          to.flush();
          to.close();

          if (!targetFile.setLastModified(sourceFile.lastModified())) {
            System.err.println("Warning: Could not set modification date/time for " + targetFile);
          }
          if (!targetFile.setExecutable(sourceFile.canExecute())) {
            if (!Platform.isWindows()) {  // more of a UNIX thing
              System.err.println("Warning: Could not set permissions for " + targetFile);
            }
          }
        }


        long copyDir(File sourceDir, File targetDir,