From 21f8253a8254e3929e4f43a4328b3fe9462b7beb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Feb 2012 11:25:49 +0000
Subject: [PATCH] Bugfix: headless mode

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4572 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/settings/FileSetting.java | 3 +++
 1 file changed, 3 insertions(+)

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;