added simple resolver

src/main/java/de/tla2bAst/SimpleResolver.java

+package de.tla2bAst;
+
+import java.io.File;
+
+import util.FilenameToStream;
+
+public class SimpleResolver implements FilenameToStream {
+
+	public boolean isStandardModule(String arg0) {
+		return false;
+	}
+
+	public File resolve(String arg0, boolean arg1) {
+
+		File file = new File(arg0);
+		return file;
+	}
+
+}
\ No newline at end of file

src/main/java/de/tla2bAst/Translator.java

@@ -120,7 +120,7 @@ public class Translator {
 		if (configFileName != null) {
 			File f = new File(configFileName);
 			if (f.exists()) {
-				modelConfig = new ModelConfig(f.getName(), null);
+				modelConfig = new ModelConfig(f.getName(), new SimpleResolver());
 				modelConfig.parse();
 			}
 		} else {
@@ -132,7 +132,7 @@ public class Translator {
 			String configFile = fileNameWithoutSuffix + ".cfg";
 			File f = new File(configFile);
 			if (f.exists()) {
-				modelConfig = new ModelConfig(f.getName(), null);
+				modelConfig = new ModelConfig(f.getName(), new SimpleResolver());
 				modelConfig.parse();
 			}
 		}