diff --git a/prism/src/settings/FileSetting.java b/prism/src/settings/FileSetting.java
index 55a0a915..db1da84c 100644
--- a/prism/src/settings/FileSetting.java
+++ b/prism/src/settings/FileSetting.java
@@ -64,6 +64,9 @@ public class FileSetting extends Setting
 		catch (HeadlessException e) {
 			return null;
 		}
+		catch (Error e) {
+			return null;
+		}
 	}
     
 	private boolean validFile;