diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/RecentFileMenu.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/RecentFileMenu.java
index b38d85ef33d..61af8cacd0c 100644
--- a/key.ui/src/main/java/de/uka/ilkd/key/gui/RecentFileMenu.java
+++ b/key.ui/src/main/java/de/uka/ilkd/key/gui/RecentFileMenu.java
@@ -210,6 +210,8 @@ public final void loadFrom(Path filename) {
             LOGGER.debug("Could not read RecentFileList. Did not find file {}", filename);
         } catch (IOException ioe) {
             LOGGER.debug("Could not read RecentFileList. Some IO Error occured ", ioe);
+        } catch (Throwable t) {
+            LOGGER.debug("Could not read RecentFileList. Some Error occured ", t);
         }
     }