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(); 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();