get rid of SimpleResolver

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

-package de.tla2bAst;
-
-import util.FilenameToStream;
-
-import java.io.File;
-
-public class SimpleResolver implements FilenameToStream {
-
-	private File file;
-
-	public boolean isStandardModule(String arg0) {
-		return false;
-	}
-
-	public File resolve(String arg0, boolean arg1) {
-
-		file = new File(arg0);
-		return file;
-	}
-
-	public String getFullPath() {
-		return file.getAbsolutePath();
-	}
-
-}

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

@@ -131,9 +131,8 @@ public class Translator implements TranslationGlobals {
 	private void parse() throws TLA2BFrontEndException {
 		moduleNode = parseModule();
 
-		modelConfig = null;
 		if (configFile != null) {
-			modelConfig = new ModelConfig(configFile.getAbsolutePath(), new SimpleResolver());
+			modelConfig = new ModelConfig(configFile.getName(), null);
 			modelConfig.parse();
 		}
 	}