moved Kodkod test problems into a sub-folder

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

test/de/stups/probkodkod/InteractionTestBase.java

@@ -57,7 +57,8 @@ public class InteractionTestBase {
 	}
 
 	protected static String load(final String filename) throws IOException {
-		InputStream input = KodkodTest.class.getResourceAsStream(filename);
+		InputStream input = KodkodTest.class.getResourceAsStream("problems/"
+				+ filename);
 		int c = input.read();
 		StringBuffer buf = new StringBuffer();
 		while (c >= 0) {