Diff of /tool/src/utils/Settings.java [r3] .. [r21]

  Switch to side-by-side view 

--- a/tool/src/utils/Settings.java
+++ b/tool/src/utils/Settings.java
@@ -35,6 +35,9 @@
     public Settings(File settingsFile, String comment){
         properties = new Properties();
         this.settingsFile = settingsFile;
+        if(settingsFile == null){
+            return;
+        }
         this.comment = comment;
         if(settingsFile.exists()){
             load();