From dc8fb35ecdc56f10ecf4bab9092c90ffc1815e51 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Fri, 10 Mar 2017 21:18:24 +0100
Subject: [PATCH] Remove files from the file history which are not existing
 anymore.

---
 .../de/neemann/digital/analyse/quinemc/QuineMcCluskey.java | 2 +-
 src/main/java/de/neemann/digital/gui/FileHistory.java      | 7 +++++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/main/java/de/neemann/digital/analyse/quinemc/QuineMcCluskey.java b/src/main/java/de/neemann/digital/analyse/quinemc/QuineMcCluskey.java
index 81a60f75e..07f53c0fd 100644
--- a/src/main/java/de/neemann/digital/analyse/quinemc/QuineMcCluskey.java
+++ b/src/main/java/de/neemann/digital/analyse/quinemc/QuineMcCluskey.java
@@ -11,7 +11,7 @@ import java.util.*;
 import static de.neemann.digital.analyse.expression.Operation.or;
 
 /**
- * The algorithm from Quine and McCluskey
+ * The algorithm of Quine and McCluskey
  *
  * @author hneemann
  */
diff --git a/src/main/java/de/neemann/digital/gui/FileHistory.java b/src/main/java/de/neemann/digital/gui/FileHistory.java
index dbf486c0b..bc2df4173 100644
--- a/src/main/java/de/neemann/digital/gui/FileHistory.java
+++ b/src/main/java/de/neemann/digital/gui/FileHistory.java
@@ -34,8 +34,11 @@ public final class FileHistory {
         files = new ArrayList<File>();
         for (int i = 0; i < n; i++) {
             String pathname = PREFS.get(FILE_NAME + i, null);
-            if (pathname != null && pathname.length() > 0)
-                files.add(new File(pathname));
+            if (pathname != null && pathname.length() > 0) {
+                final File file = new File(pathname);
+                if (file.exists())
+                    files.add(file);
+            }
         }
         if (n != files.size())
             saveEntries();