Kodkod:

- disabled dump file
- raised log level to "severe" (no info messages)


git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@11722 7aec93f6-bc54-0410-ac70-7d7c9efa889a

src/de/stups/probkodkod/KodkodInteraction.java

@@ -74,9 +74,9 @@ public class KodkodInteraction {
 			filehandler.setFormatter(new SimpleFormatter());
 			logger.setUseParentHandlers(false);
 			logger.addHandler(filehandler);
-			logger.setLevel(Level.ALL);
+			logger.setLevel(Level.SEVERE);
 
-			final FileWriter fw = new FileWriter("dump.txt");
+			final FileWriter fw = createDumpFile();
 			final Reader in;
 			final PrintWriter out;
 
@@ -102,4 +102,9 @@ public class KodkodInteraction {
 			e.printStackTrace();
 		}
 	}
+
+	protected static FileWriter createDumpFile() throws IOException {
+		return null;
+		// return new FileWriter("dump.txt");
+	}
 }