diff --git a/prism/src/settings/FileSetting.java b/prism/src/settings/FileSetting.java
index 09d9dd0d..e6dffd7c 100644
--- a/prism/src/settings/FileSetting.java
+++ b/prism/src/settings/FileSetting.java
@@ -87,8 +87,7 @@ public class FileSetting extends Setting
 		if(obj instanceof File)
 		{
 			File f = (File)obj;
-			if(f != null) validFile = f.isFile();
-			else validFile = false;
+			validFile = f.isFile();
 		}
 		else 
 			validFile = false;