protected void removeLocalInputFile(File file) {
   synchronized (localInputFiles) {
     File loc = (File) this.localInputFiles.remove(file);
     if (loc != null && FileSystemManager.exists(loc)) {
       FileSystemManager.delete(loc);
     }
   }
 }