diff --git a/.gitignore b/.gitignore
index b005b9a9..761f2142 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,22 +1,22 @@
-tool/afl-2.51b-wca/afl-analyze
-tool/afl-2.51b-wca/afl-analyze.dSYM/
-tool/afl-2.51b-wca/afl-as
-tool/afl-2.51b-wca/afl-as.dSYM/
-tool/afl-2.51b-wca/afl-clang
-tool/afl-2.51b-wca/afl-clang++
-tool/afl-2.51b-wca/afl-fuzz
-tool/afl-2.51b-wca/afl-fuzz.dSYM/
-tool/afl-2.51b-wca/afl-g++
-tool/afl-2.51b-wca/afl-gcc
-tool/afl-2.51b-wca/afl-gcc.dSYM/
-tool/afl-2.51b-wca/afl-gotcpu
-tool/afl-2.51b-wca/afl-gotcpu.dSYM/
-tool/afl-2.51b-wca/afl-showmap
-tool/afl-2.51b-wca/afl-showmap.dSYM/
-tool/afl-2.51b-wca/afl-tmin
-tool/afl-2.51b-wca/afl-tmin.dSYM/
-tool/afl-2.51b-wca/as
-tool/afl-2.51b-wca/test-instr.dSYM/
+tool/afl-2.51b-qfuzz/afl-analyze
+tool/afl-2.51b-qfuzz/afl-analyze.dSYM/
+tool/afl-2.51b-qfuzz/afl-as
+tool/afl-2.51b-qfuzz/afl-as.dSYM/
+tool/afl-2.51b-qfuzz/afl-clang
+tool/afl-2.51b-qfuzz/afl-clang++
+tool/afl-2.51b-qfuzz/afl-fuzz
+tool/afl-2.51b-qfuzz/afl-fuzz.dSYM/
+tool/afl-2.51b-qfuzz/afl-g++
+tool/afl-2.51b-qfuzz/afl-gcc
+tool/afl-2.51b-qfuzz/afl-gcc.dSYM/
+tool/afl-2.51b-qfuzz/afl-gotcpu
+tool/afl-2.51b-qfuzz/afl-gotcpu.dSYM/
+tool/afl-2.51b-qfuzz/afl-showmap
+tool/afl-2.51b-qfuzz/afl-showmap.dSYM/
+tool/afl-2.51b-qfuzz/afl-tmin
+tool/afl-2.51b-qfuzz/afl-tmin.dSYM/
+tool/afl-2.51b-qfuzz/as
+tool/afl-2.51b-qfuzz/test-instr.dSYM/
tool/fuzzerside/interface
tool/instrumentor/bin/
tool/instrumentor/.gradle
@@ -28,6 +28,9 @@ evaluation/*/fuzzer-out*
evaluation/*/*/bin/
evaluation/*/*/bin-instr/
evaluation/*/*/fuzzer-out*
+**/.classpath
+**/.project
*-log-*.txt
*.lock
.DS_Store
+**/.vscode
diff --git a/evaluation/subjects/Eclipse_jetty_1/.classpath b/evaluation/subjects/Eclipse_jetty_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1/.project b/evaluation/subjects/Eclipse_jetty_1/.project
deleted file mode 100644
index 15399b54..00000000
--- a/evaluation/subjects/Eclipse_jetty_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_1/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps1_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_1/.project b/evaluation/subjects/Eclipse_jetty_1_eps1_1/.project
deleted file mode 100644
index c1467e7d..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps1_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_2/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps1_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_2/.project b/evaluation/subjects/Eclipse_jetty_1_eps1_2/.project
deleted file mode 100644
index 23ffe9a6..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps1_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_3/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps1_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_3/.project b/evaluation/subjects/Eclipse_jetty_1_eps1_3/.project
deleted file mode 100644
index 7a9170fd..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps1_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_4/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps1_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_4/.project b/evaluation/subjects/Eclipse_jetty_1_eps1_4/.project
deleted file mode 100644
index 38608794..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps1_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_5/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps1_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps1_5/.project b/evaluation/subjects/Eclipse_jetty_1_eps1_5/.project
deleted file mode 100644
index 18b14cc7..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps1_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps1_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_1/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps4_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_1/.project b/evaluation/subjects/Eclipse_jetty_1_eps4_1/.project
deleted file mode 100644
index 71b175ef..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps4_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_2/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps4_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_2/.project b/evaluation/subjects/Eclipse_jetty_1_eps4_2/.project
deleted file mode 100644
index d8bee91b..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps4_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_3/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps4_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_3/.project b/evaluation/subjects/Eclipse_jetty_1_eps4_3/.project
deleted file mode 100644
index f5ffecb4..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps4_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_4/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps4_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_4/.project b/evaluation/subjects/Eclipse_jetty_1_eps4_4/.project
deleted file mode 100644
index 6ee0750a..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps4_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_5/.classpath b/evaluation/subjects/Eclipse_jetty_1_eps4_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_1_eps4_5/.project b/evaluation/subjects/Eclipse_jetty_1_eps4_5/.project
deleted file mode 100644
index 340a0705..00000000
--- a/evaluation/subjects/Eclipse_jetty_1_eps4_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_1_eps4_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2/.classpath b/evaluation/subjects/Eclipse_jetty_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2/.project b/evaluation/subjects/Eclipse_jetty_2/.project
deleted file mode 100644
index 84efb94f..00000000
--- a/evaluation/subjects/Eclipse_jetty_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_1/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps1_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_1/.project b/evaluation/subjects/Eclipse_jetty_2_eps1_1/.project
deleted file mode 100644
index 15928150..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps1_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_2/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps1_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_2/.project b/evaluation/subjects/Eclipse_jetty_2_eps1_2/.project
deleted file mode 100644
index 77092731..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps1_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_3/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps1_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_3/.project b/evaluation/subjects/Eclipse_jetty_2_eps1_3/.project
deleted file mode 100644
index a4703e91..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps1_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_4/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps1_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_4/.project b/evaluation/subjects/Eclipse_jetty_2_eps1_4/.project
deleted file mode 100644
index 4b0147a0..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps1_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_5/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps1_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps1_5/.project b/evaluation/subjects/Eclipse_jetty_2_eps1_5/.project
deleted file mode 100644
index cdd170cc..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps1_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps1_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_1/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps4_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_1/.project b/evaluation/subjects/Eclipse_jetty_2_eps4_1/.project
deleted file mode 100644
index 3e74fd1e..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps4_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_2/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps4_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_2/.project b/evaluation/subjects/Eclipse_jetty_2_eps4_2/.project
deleted file mode 100644
index 7c67f03c..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps4_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_3/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps4_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_3/.project b/evaluation/subjects/Eclipse_jetty_2_eps4_3/.project
deleted file mode 100644
index a5b7c4a9..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps4_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_4/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps4_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_4/.project b/evaluation/subjects/Eclipse_jetty_2_eps4_4/.project
deleted file mode 100644
index 7561be2c..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps4_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_5/.classpath b/evaluation/subjects/Eclipse_jetty_2_eps4_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_2_eps4_5/.project b/evaluation/subjects/Eclipse_jetty_2_eps4_5/.project
deleted file mode 100644
index 08a32143..00000000
--- a/evaluation/subjects/Eclipse_jetty_2_eps4_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_2_eps4_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3/.classpath b/evaluation/subjects/Eclipse_jetty_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3/.project b/evaluation/subjects/Eclipse_jetty_3/.project
deleted file mode 100644
index d625337d..00000000
--- a/evaluation/subjects/Eclipse_jetty_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_1/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps1_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_1/.project b/evaluation/subjects/Eclipse_jetty_3_eps1_1/.project
deleted file mode 100644
index 432f72d0..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps1_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_2/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps1_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_2/.project b/evaluation/subjects/Eclipse_jetty_3_eps1_2/.project
deleted file mode 100644
index d9b208a6..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps1_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_3/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps1_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_3/.project b/evaluation/subjects/Eclipse_jetty_3_eps1_3/.project
deleted file mode 100644
index 3f714cd7..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps1_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_4/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps1_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_4/.project b/evaluation/subjects/Eclipse_jetty_3_eps1_4/.project
deleted file mode 100644
index 014818f3..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps1_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_5/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps1_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps1_5/.project b/evaluation/subjects/Eclipse_jetty_3_eps1_5/.project
deleted file mode 100644
index c43842ec..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps1_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps1_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_1/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps4_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_1/.project b/evaluation/subjects/Eclipse_jetty_3_eps4_1/.project
deleted file mode 100644
index 541dc9fe..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps4_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_2/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps4_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_2/.project b/evaluation/subjects/Eclipse_jetty_3_eps4_2/.project
deleted file mode 100644
index 174c57a2..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps4_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_3/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps4_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_3/.project b/evaluation/subjects/Eclipse_jetty_3_eps4_3/.project
deleted file mode 100644
index c679de40..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps4_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_4/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps4_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_4/.project b/evaluation/subjects/Eclipse_jetty_3_eps4_4/.project
deleted file mode 100644
index 62d26a7c..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps4_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_5/.classpath b/evaluation/subjects/Eclipse_jetty_3_eps4_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_3_eps4_5/.project b/evaluation/subjects/Eclipse_jetty_3_eps4_5/.project
deleted file mode 100644
index ef0fe3ea..00000000
--- a/evaluation/subjects/Eclipse_jetty_3_eps4_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_3_eps4_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4/.classpath b/evaluation/subjects/Eclipse_jetty_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4/.project b/evaluation/subjects/Eclipse_jetty_4/.project
deleted file mode 100644
index daed5aa3..00000000
--- a/evaluation/subjects/Eclipse_jetty_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_1/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps1_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_1/.project b/evaluation/subjects/Eclipse_jetty_4_eps1_1/.project
deleted file mode 100644
index 53a873c0..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps1_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_2/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps1_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_2/.project b/evaluation/subjects/Eclipse_jetty_4_eps1_2/.project
deleted file mode 100644
index 1117a16a..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps1_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_3/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps1_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_3/.project b/evaluation/subjects/Eclipse_jetty_4_eps1_3/.project
deleted file mode 100644
index 12bd8341..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps1_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_4/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps1_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_4/.project b/evaluation/subjects/Eclipse_jetty_4_eps1_4/.project
deleted file mode 100644
index edc4d90f..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps1_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_5/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps1_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps1_5/.project b/evaluation/subjects/Eclipse_jetty_4_eps1_5/.project
deleted file mode 100644
index 6d93ea85..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps1_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps1_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_1/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps4_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_1/.project b/evaluation/subjects/Eclipse_jetty_4_eps4_1/.project
deleted file mode 100644
index 8dcc72c9..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps4_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_2/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps4_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_2/.project b/evaluation/subjects/Eclipse_jetty_4_eps4_2/.project
deleted file mode 100644
index afa77949..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps4_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_3/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps4_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_3/.project b/evaluation/subjects/Eclipse_jetty_4_eps4_3/.project
deleted file mode 100644
index dde61bba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps4_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_4/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps4_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_4/.project b/evaluation/subjects/Eclipse_jetty_4_eps4_4/.project
deleted file mode 100644
index 777da5fb..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps4_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_5/.classpath b/evaluation/subjects/Eclipse_jetty_4_eps4_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_4_eps4_5/.project b/evaluation/subjects/Eclipse_jetty_4_eps4_5/.project
deleted file mode 100644
index f88c69b6..00000000
--- a/evaluation/subjects/Eclipse_jetty_4_eps4_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_4_eps4_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5/.classpath b/evaluation/subjects/Eclipse_jetty_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5/.project b/evaluation/subjects/Eclipse_jetty_5/.project
deleted file mode 100644
index 65b34205..00000000
--- a/evaluation/subjects/Eclipse_jetty_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_1/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps1_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_1/.project b/evaluation/subjects/Eclipse_jetty_5_eps1_1/.project
deleted file mode 100644
index 597d955f..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps1_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_2/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps1_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_2/.project b/evaluation/subjects/Eclipse_jetty_5_eps1_2/.project
deleted file mode 100644
index e4e0f297..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps1_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_3/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps1_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_3/.project b/evaluation/subjects/Eclipse_jetty_5_eps1_3/.project
deleted file mode 100644
index c262cfb9..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps1_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_4/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps1_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_4/.project b/evaluation/subjects/Eclipse_jetty_5_eps1_4/.project
deleted file mode 100644
index 35294b5f..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps1_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_5/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps1_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps1_5/.project b/evaluation/subjects/Eclipse_jetty_5_eps1_5/.project
deleted file mode 100644
index 495a6575..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps1_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps1_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_1/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps4_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_1/.project b/evaluation/subjects/Eclipse_jetty_5_eps4_1/.project
deleted file mode 100644
index 9392a66a..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps4_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_2/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps4_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_2/.project b/evaluation/subjects/Eclipse_jetty_5_eps4_2/.project
deleted file mode 100644
index f63c0800..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps4_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_3/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps4_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_3/.project b/evaluation/subjects/Eclipse_jetty_5_eps4_3/.project
deleted file mode 100644
index d0f2e045..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps4_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_4/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps4_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_4/.project b/evaluation/subjects/Eclipse_jetty_5_eps4_4/.project
deleted file mode 100644
index ee90667c..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps4_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_5/.classpath b/evaluation/subjects/Eclipse_jetty_5_eps4_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/Eclipse_jetty_5_eps4_5/.project b/evaluation/subjects/Eclipse_jetty_5_eps4_5/.project
deleted file mode 100644
index fd3b2533..00000000
--- a/evaluation/subjects/Eclipse_jetty_5_eps4_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- Eclipse_jetty_5_eps4_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_ftpserver_clear_safe/.classpath b/evaluation/subjects/apache_ftpserver_clear_safe/.classpath
deleted file mode 100644
index 374dc496..00000000
--- a/evaluation/subjects/apache_ftpserver_clear_safe/.classpath
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_ftpserver_clear_safe/.project b/evaluation/subjects/apache_ftpserver_clear_safe/.project
deleted file mode 100644
index b372e5d5..00000000
--- a/evaluation/subjects/apache_ftpserver_clear_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_ftpserver_clear_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_ftpserver_clear_unsafe/.classpath b/evaluation/subjects/apache_ftpserver_clear_unsafe/.classpath
deleted file mode 100644
index 374dc496..00000000
--- a/evaluation/subjects/apache_ftpserver_clear_unsafe/.classpath
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_ftpserver_clear_unsafe/.project b/evaluation/subjects/apache_ftpserver_clear_unsafe/.project
deleted file mode 100644
index f75c7724..00000000
--- a/evaluation/subjects/apache_ftpserver_clear_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_ftpserver_clear_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_ftpserver_md5_safe/.classpath b/evaluation/subjects/apache_ftpserver_md5_safe/.classpath
deleted file mode 100644
index 374dc496..00000000
--- a/evaluation/subjects/apache_ftpserver_md5_safe/.classpath
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_ftpserver_md5_safe/.project b/evaluation/subjects/apache_ftpserver_md5_safe/.project
deleted file mode 100644
index 4051db8e..00000000
--- a/evaluation/subjects/apache_ftpserver_md5_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_ftpserver_md5_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_ftpserver_md5_unsafe/.classpath b/evaluation/subjects/apache_ftpserver_md5_unsafe/.classpath
deleted file mode 100644
index 374dc496..00000000
--- a/evaluation/subjects/apache_ftpserver_md5_unsafe/.classpath
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_ftpserver_md5_unsafe/.project b/evaluation/subjects/apache_ftpserver_md5_unsafe/.project
deleted file mode 100644
index 96ee214e..00000000
--- a/evaluation/subjects/apache_ftpserver_md5_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_ftpserver_md5_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_ftpserver_salted_encrypt_unsafe/.classpath b/evaluation/subjects/apache_ftpserver_salted_encrypt_unsafe/.classpath
deleted file mode 100644
index 374dc496..00000000
--- a/evaluation/subjects/apache_ftpserver_salted_encrypt_unsafe/.classpath
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_ftpserver_salted_encrypt_unsafe/.project b/evaluation/subjects/apache_ftpserver_salted_encrypt_unsafe/.project
deleted file mode 100644
index fdccc116..00000000
--- a/evaluation/subjects/apache_ftpserver_salted_encrypt_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_ftpserver_salted_encrypt_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_ftpserver_salted_safe/.classpath b/evaluation/subjects/apache_ftpserver_salted_safe/.classpath
deleted file mode 100644
index 374dc496..00000000
--- a/evaluation/subjects/apache_ftpserver_salted_safe/.classpath
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_ftpserver_salted_safe/.project b/evaluation/subjects/apache_ftpserver_salted_safe/.project
deleted file mode 100644
index 405e43f6..00000000
--- a/evaluation/subjects/apache_ftpserver_salted_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_ftpserver_salted_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_ftpserver_salted_unsafe/.classpath b/evaluation/subjects/apache_ftpserver_salted_unsafe/.classpath
deleted file mode 100644
index 374dc496..00000000
--- a/evaluation/subjects/apache_ftpserver_salted_unsafe/.classpath
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_ftpserver_salted_unsafe/.project b/evaluation/subjects/apache_ftpserver_salted_unsafe/.project
deleted file mode 100644
index cb4a2da3..00000000
--- a/evaluation/subjects/apache_ftpserver_salted_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_ftpserver_salted_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_ftpserver_stringutils_safe/.classpath b/evaluation/subjects/apache_ftpserver_stringutils_safe/.classpath
deleted file mode 100644
index 374dc496..00000000
--- a/evaluation/subjects/apache_ftpserver_stringutils_safe/.classpath
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_ftpserver_stringutils_safe/.project b/evaluation/subjects/apache_ftpserver_stringutils_safe/.project
deleted file mode 100644
index 3d0b7593..00000000
--- a/evaluation/subjects/apache_ftpserver_stringutils_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_ftpserver_stringutils_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_ftpserver_stringutils_unsafe/.classpath b/evaluation/subjects/apache_ftpserver_stringutils_unsafe/.classpath
deleted file mode 100644
index 374dc496..00000000
--- a/evaluation/subjects/apache_ftpserver_stringutils_unsafe/.classpath
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_ftpserver_stringutils_unsafe/.project b/evaluation/subjects/apache_ftpserver_stringutils_unsafe/.project
deleted file mode 100644
index 3e022ab4..00000000
--- a/evaluation/subjects/apache_ftpserver_stringutils_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_ftpserver_stringutils_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_wss4j/.classpath b/evaluation/subjects/apache_wss4j/.classpath
deleted file mode 100644
index 4817347a..00000000
--- a/evaluation/subjects/apache_wss4j/.classpath
+++ /dev/null
@@ -1,9 +0,0 @@
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_wss4j/.project b/evaluation/subjects/apache_wss4j/.project
deleted file mode 100644
index ba32271b..00000000
--- a/evaluation/subjects/apache_wss4j/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_wss4j
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_wss4j_1/.classpath b/evaluation/subjects/apache_wss4j_1/.classpath
deleted file mode 100644
index 4817347a..00000000
--- a/evaluation/subjects/apache_wss4j_1/.classpath
+++ /dev/null
@@ -1,9 +0,0 @@
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_wss4j_1/.project b/evaluation/subjects/apache_wss4j_1/.project
deleted file mode 100644
index fdd73c35..00000000
--- a/evaluation/subjects/apache_wss4j_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_wss4j_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_wss4j_2/.classpath b/evaluation/subjects/apache_wss4j_2/.classpath
deleted file mode 100644
index 4817347a..00000000
--- a/evaluation/subjects/apache_wss4j_2/.classpath
+++ /dev/null
@@ -1,9 +0,0 @@
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_wss4j_2/.project b/evaluation/subjects/apache_wss4j_2/.project
deleted file mode 100644
index 2db39817..00000000
--- a/evaluation/subjects/apache_wss4j_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_wss4j_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_wss4j_3/.classpath b/evaluation/subjects/apache_wss4j_3/.classpath
deleted file mode 100644
index 4817347a..00000000
--- a/evaluation/subjects/apache_wss4j_3/.classpath
+++ /dev/null
@@ -1,9 +0,0 @@
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_wss4j_3/.project b/evaluation/subjects/apache_wss4j_3/.project
deleted file mode 100644
index 56ba9e44..00000000
--- a/evaluation/subjects/apache_wss4j_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_wss4j_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_wss4j_4/.classpath b/evaluation/subjects/apache_wss4j_4/.classpath
deleted file mode 100644
index 4817347a..00000000
--- a/evaluation/subjects/apache_wss4j_4/.classpath
+++ /dev/null
@@ -1,9 +0,0 @@
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_wss4j_4/.project b/evaluation/subjects/apache_wss4j_4/.project
deleted file mode 100644
index 1ea0ba0c..00000000
--- a/evaluation/subjects/apache_wss4j_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_wss4j_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/apache_wss4j_5/.classpath b/evaluation/subjects/apache_wss4j_5/.classpath
deleted file mode 100644
index 4817347a..00000000
--- a/evaluation/subjects/apache_wss4j_5/.classpath
+++ /dev/null
@@ -1,9 +0,0 @@
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/apache_wss4j_5/.project b/evaluation/subjects/apache_wss4j_5/.project
deleted file mode 100644
index bffec20b..00000000
--- a/evaluation/subjects/apache_wss4j_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- apache_wss4j_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_array_safe/.classpath b/evaluation/subjects/blazer_array_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_array_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_array_safe/.project b/evaluation/subjects/blazer_array_safe/.project
deleted file mode 100644
index 974016af..00000000
--- a/evaluation/subjects/blazer_array_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_array_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_array_unsafe/.classpath b/evaluation/subjects/blazer_array_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_array_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_array_unsafe/.project b/evaluation/subjects/blazer_array_unsafe/.project
deleted file mode 100644
index 26e4c542..00000000
--- a/evaluation/subjects/blazer_array_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_array_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_gpt14_safe/.classpath b/evaluation/subjects/blazer_gpt14_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_gpt14_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_gpt14_safe/.project b/evaluation/subjects/blazer_gpt14_safe/.project
deleted file mode 100644
index 1f6a290d..00000000
--- a/evaluation/subjects/blazer_gpt14_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_gpt14_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_gpt14_unsafe/.classpath b/evaluation/subjects/blazer_gpt14_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_gpt14_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_gpt14_unsafe/.project b/evaluation/subjects/blazer_gpt14_unsafe/.project
deleted file mode 100644
index c75e425e..00000000
--- a/evaluation/subjects/blazer_gpt14_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_gpt14_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_k96_safe/.classpath b/evaluation/subjects/blazer_k96_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_k96_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_k96_safe/.project b/evaluation/subjects/blazer_k96_safe/.project
deleted file mode 100644
index 84636b4c..00000000
--- a/evaluation/subjects/blazer_k96_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_k96_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_k96_unsafe/.classpath b/evaluation/subjects/blazer_k96_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_k96_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_k96_unsafe/.project b/evaluation/subjects/blazer_k96_unsafe/.project
deleted file mode 100644
index c95abcec..00000000
--- a/evaluation/subjects/blazer_k96_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_k96_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_login_safe/.classpath b/evaluation/subjects/blazer_login_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_login_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_login_safe/.project b/evaluation/subjects/blazer_login_safe/.project
deleted file mode 100644
index 73df584e..00000000
--- a/evaluation/subjects/blazer_login_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_login_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_login_unsafe/.classpath b/evaluation/subjects/blazer_login_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_login_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_login_unsafe/.project b/evaluation/subjects/blazer_login_unsafe/.project
deleted file mode 100644
index 739c0b78..00000000
--- a/evaluation/subjects/blazer_login_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_login_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_loopandbranch_safe/.classpath b/evaluation/subjects/blazer_loopandbranch_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_loopandbranch_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_loopandbranch_safe/.project b/evaluation/subjects/blazer_loopandbranch_safe/.project
deleted file mode 100644
index bad16832..00000000
--- a/evaluation/subjects/blazer_loopandbranch_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_loopandbranch_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_loopandbranch_unsafe/.classpath b/evaluation/subjects/blazer_loopandbranch_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_loopandbranch_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_loopandbranch_unsafe/.project b/evaluation/subjects/blazer_loopandbranch_unsafe/.project
deleted file mode 100644
index 675871b9..00000000
--- a/evaluation/subjects/blazer_loopandbranch_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_loopandbranch_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_modpow1_safe/.classpath b/evaluation/subjects/blazer_modpow1_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_modpow1_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_modpow1_safe/.project b/evaluation/subjects/blazer_modpow1_safe/.project
deleted file mode 100644
index 80754501..00000000
--- a/evaluation/subjects/blazer_modpow1_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_modpow1_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_modpow1_unsafe/.classpath b/evaluation/subjects/blazer_modpow1_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_modpow1_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_modpow1_unsafe/.project b/evaluation/subjects/blazer_modpow1_unsafe/.project
deleted file mode 100644
index 0849a608..00000000
--- a/evaluation/subjects/blazer_modpow1_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_modpow1_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_modpow2_safe/.classpath b/evaluation/subjects/blazer_modpow2_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_modpow2_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_modpow2_safe/.project b/evaluation/subjects/blazer_modpow2_safe/.project
deleted file mode 100644
index f258125a..00000000
--- a/evaluation/subjects/blazer_modpow2_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_modpow2_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_modpow2_unsafe/.classpath b/evaluation/subjects/blazer_modpow2_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_modpow2_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_modpow2_unsafe/.project b/evaluation/subjects/blazer_modpow2_unsafe/.project
deleted file mode 100644
index e6dbfac0..00000000
--- a/evaluation/subjects/blazer_modpow2_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_modpow2_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_passwordEq_safe/.classpath b/evaluation/subjects/blazer_passwordEq_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_passwordEq_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_passwordEq_safe/.project b/evaluation/subjects/blazer_passwordEq_safe/.project
deleted file mode 100644
index 4d0594cc..00000000
--- a/evaluation/subjects/blazer_passwordEq_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_passwordEq_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_passwordEq_unsafe/.classpath b/evaluation/subjects/blazer_passwordEq_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_passwordEq_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_passwordEq_unsafe/.project b/evaluation/subjects/blazer_passwordEq_unsafe/.project
deleted file mode 100644
index 10eff2e4..00000000
--- a/evaluation/subjects/blazer_passwordEq_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_passwordEq_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_sanity_safe/.classpath b/evaluation/subjects/blazer_sanity_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_sanity_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_sanity_safe/.project b/evaluation/subjects/blazer_sanity_safe/.project
deleted file mode 100644
index 78c1f0e0..00000000
--- a/evaluation/subjects/blazer_sanity_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_sanity_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_sanity_unsafe/.classpath b/evaluation/subjects/blazer_sanity_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_sanity_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_sanity_unsafe/.project b/evaluation/subjects/blazer_sanity_unsafe/.project
deleted file mode 100644
index efc37df9..00000000
--- a/evaluation/subjects/blazer_sanity_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_sanity_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_straightline_safe/.classpath b/evaluation/subjects/blazer_straightline_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_straightline_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_straightline_safe/.project b/evaluation/subjects/blazer_straightline_safe/.project
deleted file mode 100644
index 4545a4dc..00000000
--- a/evaluation/subjects/blazer_straightline_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_straightline_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_straightline_unsafe/.classpath b/evaluation/subjects/blazer_straightline_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_straightline_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_straightline_unsafe/.project b/evaluation/subjects/blazer_straightline_unsafe/.project
deleted file mode 100644
index 69930023..00000000
--- a/evaluation/subjects/blazer_straightline_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_straightline_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_unixlogin_safe/.classpath b/evaluation/subjects/blazer_unixlogin_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_unixlogin_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_unixlogin_safe/.project b/evaluation/subjects/blazer_unixlogin_safe/.project
deleted file mode 100644
index 1d5f868b..00000000
--- a/evaluation/subjects/blazer_unixlogin_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_unixlogin_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/blazer_unixlogin_unsafe/.classpath b/evaluation/subjects/blazer_unixlogin_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/blazer_unixlogin_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/blazer_unixlogin_unsafe/.project b/evaluation/subjects/blazer_unixlogin_unsafe/.project
deleted file mode 100644
index 8c2ac03b..00000000
--- a/evaluation/subjects/blazer_unixlogin_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- blazer_unixlogin_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/example_PWCheck_unsafe/.classpath b/evaluation/subjects/example_PWCheck_unsafe/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/example_PWCheck_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/example_PWCheck_unsafe/.project b/evaluation/subjects/example_PWCheck_unsafe/.project
deleted file mode 100644
index 2c9c75b2..00000000
--- a/evaluation/subjects/example_PWCheck_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- example_PWCheck_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/github_authmreloaded_safe/.classpath b/evaluation/subjects/github_authmreloaded_safe/.classpath
deleted file mode 100644
index a513531a..00000000
--- a/evaluation/subjects/github_authmreloaded_safe/.classpath
+++ /dev/null
@@ -1,57 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/github_authmreloaded_safe/.project b/evaluation/subjects/github_authmreloaded_safe/.project
deleted file mode 100644
index a3391ddd..00000000
--- a/evaluation/subjects/github_authmreloaded_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- github_authmreloaded_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/github_authmreloaded_unsafe/.classpath b/evaluation/subjects/github_authmreloaded_unsafe/.classpath
deleted file mode 100644
index a513531a..00000000
--- a/evaluation/subjects/github_authmreloaded_unsafe/.classpath
+++ /dev/null
@@ -1,57 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/github_authmreloaded_unsafe/.project b/evaluation/subjects/github_authmreloaded_unsafe/.project
deleted file mode 100644
index 7c380b47..00000000
--- a/evaluation/subjects/github_authmreloaded_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- github_authmreloaded_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-1/.classpath b/evaluation/subjects/leaksn1b-1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-1/.project b/evaluation/subjects/leaksn1b-1/.project
deleted file mode 100644
index 7f1b0192..00000000
--- a/evaluation/subjects/leaksn1b-1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-1_1/.classpath b/evaluation/subjects/leaksn1b-1_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-1_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-1_1/.project b/evaluation/subjects/leaksn1b-1_1/.project
deleted file mode 100644
index 3ce772e2..00000000
--- a/evaluation/subjects/leaksn1b-1_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-1_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-1_2/.classpath b/evaluation/subjects/leaksn1b-1_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-1_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-1_2/.project b/evaluation/subjects/leaksn1b-1_2/.project
deleted file mode 100644
index b83f7eeb..00000000
--- a/evaluation/subjects/leaksn1b-1_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-1_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-1_3/.classpath b/evaluation/subjects/leaksn1b-1_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-1_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-1_3/.project b/evaluation/subjects/leaksn1b-1_3/.project
deleted file mode 100644
index d69293f4..00000000
--- a/evaluation/subjects/leaksn1b-1_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-1_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-1_4/.classpath b/evaluation/subjects/leaksn1b-1_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-1_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-1_4/.project b/evaluation/subjects/leaksn1b-1_4/.project
deleted file mode 100644
index df656334..00000000
--- a/evaluation/subjects/leaksn1b-1_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-1_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-1_5/.classpath b/evaluation/subjects/leaksn1b-1_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-1_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-1_5/.project b/evaluation/subjects/leaksn1b-1_5/.project
deleted file mode 100644
index 6ee2d3ba..00000000
--- a/evaluation/subjects/leaksn1b-1_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-1_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-2/.classpath b/evaluation/subjects/leaksn1b-2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-2/.project b/evaluation/subjects/leaksn1b-2/.project
deleted file mode 100644
index 139e53bb..00000000
--- a/evaluation/subjects/leaksn1b-2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-2_1/.classpath b/evaluation/subjects/leaksn1b-2_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-2_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-2_1/.project b/evaluation/subjects/leaksn1b-2_1/.project
deleted file mode 100644
index bc46b2f8..00000000
--- a/evaluation/subjects/leaksn1b-2_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-2_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-2_2/.classpath b/evaluation/subjects/leaksn1b-2_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-2_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-2_2/.project b/evaluation/subjects/leaksn1b-2_2/.project
deleted file mode 100644
index 00982ad0..00000000
--- a/evaluation/subjects/leaksn1b-2_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-2_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-2_3/.classpath b/evaluation/subjects/leaksn1b-2_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-2_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-2_3/.project b/evaluation/subjects/leaksn1b-2_3/.project
deleted file mode 100644
index 98e78d3b..00000000
--- a/evaluation/subjects/leaksn1b-2_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-2_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-2_4/.classpath b/evaluation/subjects/leaksn1b-2_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-2_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-2_4/.project b/evaluation/subjects/leaksn1b-2_4/.project
deleted file mode 100644
index d3b26497..00000000
--- a/evaluation/subjects/leaksn1b-2_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-2_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-2_5/.classpath b/evaluation/subjects/leaksn1b-2_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-2_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-2_5/.project b/evaluation/subjects/leaksn1b-2_5/.project
deleted file mode 100644
index caea94d7..00000000
--- a/evaluation/subjects/leaksn1b-2_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-2_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-3/.classpath b/evaluation/subjects/leaksn1b-3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-3/.project b/evaluation/subjects/leaksn1b-3/.project
deleted file mode 100644
index 9da56c49..00000000
--- a/evaluation/subjects/leaksn1b-3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-3_1/.classpath b/evaluation/subjects/leaksn1b-3_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-3_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-3_1/.project b/evaluation/subjects/leaksn1b-3_1/.project
deleted file mode 100644
index f305d735..00000000
--- a/evaluation/subjects/leaksn1b-3_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-3_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-3_2/.classpath b/evaluation/subjects/leaksn1b-3_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-3_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-3_2/.project b/evaluation/subjects/leaksn1b-3_2/.project
deleted file mode 100644
index 7d4fd66e..00000000
--- a/evaluation/subjects/leaksn1b-3_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-3_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-3_3/.classpath b/evaluation/subjects/leaksn1b-3_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-3_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-3_3/.project b/evaluation/subjects/leaksn1b-3_3/.project
deleted file mode 100644
index 9c36c7f9..00000000
--- a/evaluation/subjects/leaksn1b-3_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-3_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-3_4/.classpath b/evaluation/subjects/leaksn1b-3_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-3_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-3_4/.project b/evaluation/subjects/leaksn1b-3_4/.project
deleted file mode 100644
index be26048c..00000000
--- a/evaluation/subjects/leaksn1b-3_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-3_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-3_5/.classpath b/evaluation/subjects/leaksn1b-3_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-3_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-3_5/.project b/evaluation/subjects/leaksn1b-3_5/.project
deleted file mode 100644
index 95198759..00000000
--- a/evaluation/subjects/leaksn1b-3_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-3_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-4/.classpath b/evaluation/subjects/leaksn1b-4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-4/.project b/evaluation/subjects/leaksn1b-4/.project
deleted file mode 100644
index d7b0f180..00000000
--- a/evaluation/subjects/leaksn1b-4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-4_1/.classpath b/evaluation/subjects/leaksn1b-4_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-4_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-4_1/.project b/evaluation/subjects/leaksn1b-4_1/.project
deleted file mode 100644
index f80a41fb..00000000
--- a/evaluation/subjects/leaksn1b-4_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-4_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-4_2/.classpath b/evaluation/subjects/leaksn1b-4_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-4_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-4_2/.project b/evaluation/subjects/leaksn1b-4_2/.project
deleted file mode 100644
index 9bbe7916..00000000
--- a/evaluation/subjects/leaksn1b-4_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-4_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-4_3/.classpath b/evaluation/subjects/leaksn1b-4_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-4_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-4_3/.project b/evaluation/subjects/leaksn1b-4_3/.project
deleted file mode 100644
index ceaba2e4..00000000
--- a/evaluation/subjects/leaksn1b-4_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-4_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-4_4/.classpath b/evaluation/subjects/leaksn1b-4_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-4_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-4_4/.project b/evaluation/subjects/leaksn1b-4_4/.project
deleted file mode 100644
index 38b445bb..00000000
--- a/evaluation/subjects/leaksn1b-4_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-4_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-4_5/.classpath b/evaluation/subjects/leaksn1b-4_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-4_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-4_5/.project b/evaluation/subjects/leaksn1b-4_5/.project
deleted file mode 100644
index 2d907180..00000000
--- a/evaluation/subjects/leaksn1b-4_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-4_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-5/.classpath b/evaluation/subjects/leaksn1b-5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-5/.project b/evaluation/subjects/leaksn1b-5/.project
deleted file mode 100644
index bb10b646..00000000
--- a/evaluation/subjects/leaksn1b-5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-5_1/.classpath b/evaluation/subjects/leaksn1b-5_1/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-5_1/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-5_1/.project b/evaluation/subjects/leaksn1b-5_1/.project
deleted file mode 100644
index d6ed4596..00000000
--- a/evaluation/subjects/leaksn1b-5_1/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-5_1
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-5_2/.classpath b/evaluation/subjects/leaksn1b-5_2/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-5_2/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-5_2/.project b/evaluation/subjects/leaksn1b-5_2/.project
deleted file mode 100644
index 52620bb1..00000000
--- a/evaluation/subjects/leaksn1b-5_2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-5_2
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-5_3/.classpath b/evaluation/subjects/leaksn1b-5_3/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-5_3/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-5_3/.project b/evaluation/subjects/leaksn1b-5_3/.project
deleted file mode 100644
index 26cd73ba..00000000
--- a/evaluation/subjects/leaksn1b-5_3/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-5_3
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-5_4/.classpath b/evaluation/subjects/leaksn1b-5_4/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-5_4/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-5_4/.project b/evaluation/subjects/leaksn1b-5_4/.project
deleted file mode 100644
index 681ad780..00000000
--- a/evaluation/subjects/leaksn1b-5_4/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-5_4
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/leaksn1b-5_5/.classpath b/evaluation/subjects/leaksn1b-5_5/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/leaksn1b-5_5/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/leaksn1b-5_5/.project b/evaluation/subjects/leaksn1b-5_5/.project
deleted file mode 100644
index 3f9a5271..00000000
--- a/evaluation/subjects/leaksn1b-5_5/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- leaksn1b-5_5
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717/.classpath b/evaluation/subjects/rsa_modpow_1717/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717/.project b/evaluation/subjects/rsa_modpow_1717/.project
deleted file mode 100644
index a0f08193..00000000
--- a/evaluation/subjects/rsa_modpow_1717/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_10_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_10_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_10_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_10_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_10_count/.project
deleted file mode 100644
index 7aef650f..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_10_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_10_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_11_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_11_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_11_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_11_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_11_count/.project
deleted file mode 100644
index 78f77916..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_11_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_11_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_12_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_12_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_12_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_12_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_12_count/.project
deleted file mode 100644
index ae8e417d..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_12_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_12_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_13_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_13_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_13_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_13_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_13_count/.project
deleted file mode 100644
index b3c97f58..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_13_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_13_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_14_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_14_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_14_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_14_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_14_count/.project
deleted file mode 100644
index 35616ce3..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_14_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_14_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_3_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_3_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_3_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_3_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_3_count/.project
deleted file mode 100644
index f6bca78f..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_3_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_3_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_4_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_4_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_4_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_4_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_4_count/.project
deleted file mode 100644
index 01b7c1cc..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_4_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_4_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_5_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_5_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_5_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_5_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_5_count/.project
deleted file mode 100644
index 627d28c7..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_5_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_5_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_6_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_6_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_6_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_6_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_6_count/.project
deleted file mode 100644
index 260b3a6f..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_6_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_6_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_7_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_7_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_7_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_7_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_7_count/.project
deleted file mode 100644
index 7d86e863..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_7_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_7_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_8_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_8_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_8_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_8_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_8_count/.project
deleted file mode 100644
index 1d90fed0..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_8_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_8_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_9_count/.classpath b/evaluation/subjects/rsa_modpow_1717_bitlength_9_count/.classpath
deleted file mode 100644
index af8bb13b..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_9_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1717_bitlength_9_count/.project b/evaluation/subjects/rsa_modpow_1717_bitlength_9_count/.project
deleted file mode 100644
index 5dcf09d7..00000000
--- a/evaluation/subjects/rsa_modpow_1717_bitlength_9_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1717_bitlength_9_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306/.classpath b/evaluation/subjects/rsa_modpow_1964903306/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306/.project b/evaluation/subjects/rsa_modpow_1964903306/.project
deleted file mode 100644
index f9be3a4a..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_10_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_10_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_10_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_10_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_10_count/.project
deleted file mode 100644
index 2ca47acb..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_10_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_10_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_11_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_11_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_11_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_11_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_11_count/.project
deleted file mode 100644
index 2f7e4513..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_11_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_11_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_12_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_12_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_12_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_12_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_12_count/.project
deleted file mode 100644
index c7a4c56e..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_12_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_12_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_13_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_13_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_13_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_13_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_13_count/.project
deleted file mode 100644
index 2f3bcdaf..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_13_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_13_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_14_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_14_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_14_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_14_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_14_count/.project
deleted file mode 100644
index 1f27e129..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_14_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_14_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_3_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_3_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_3_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_3_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_3_count/.project
deleted file mode 100644
index b9c45a67..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_3_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_3_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_4_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_4_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_4_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_4_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_4_count/.project
deleted file mode 100644
index 7a997f0c..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_4_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_4_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_5_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_5_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_5_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_5_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_5_count/.project
deleted file mode 100644
index 5381e900..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_5_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_5_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_6_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_6_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_6_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_6_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_6_count/.project
deleted file mode 100644
index 1f353e45..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_6_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_6_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_7_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_7_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_7_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_7_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_7_count/.project
deleted file mode 100644
index 7ae1aa83..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_7_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_7_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_8_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_8_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_8_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_8_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_8_count/.project
deleted file mode 100644
index ce3b0fd6..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_8_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_8_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_9_count/.classpath b/evaluation/subjects/rsa_modpow_1964903306_bitlength_9_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_9_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_1964903306_bitlength_9_count/.project b/evaluation/subjects/rsa_modpow_1964903306_bitlength_9_count/.project
deleted file mode 100644
index e5ecb4a5..00000000
--- a/evaluation/subjects/rsa_modpow_1964903306_bitlength_9_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_1964903306_bitlength_9_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443/.classpath b/evaluation/subjects/rsa_modpow_834443/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443/.project b/evaluation/subjects/rsa_modpow_834443/.project
deleted file mode 100644
index 9e12c1b1..00000000
--- a/evaluation/subjects/rsa_modpow_834443/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_10_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_10_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_10_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_10_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_10_count/.project
deleted file mode 100644
index 22493fb2..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_10_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_10_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_11_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_11_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_11_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_11_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_11_count/.project
deleted file mode 100644
index 6293ab6b..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_11_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_11_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_12_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_12_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_12_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_12_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_12_count/.project
deleted file mode 100644
index 495a91c0..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_12_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_12_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_13_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_13_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_13_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_13_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_13_count/.project
deleted file mode 100644
index 506fedc2..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_13_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_13_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_14_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_14_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_14_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_14_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_14_count/.project
deleted file mode 100644
index 530ed55d..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_14_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_14_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_3_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_3_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_3_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_3_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_3_count/.project
deleted file mode 100644
index 27262ad7..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_3_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_3_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_4_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_4_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_4_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_4_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_4_count/.project
deleted file mode 100644
index 231a80c5..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_4_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_4_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_5_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_5_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_5_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_5_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_5_count/.project
deleted file mode 100644
index e15d558f..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_5_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_5_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_6_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_6_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_6_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_6_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_6_count/.project
deleted file mode 100644
index 55fbdcb8..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_6_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_6_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_7_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_7_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_7_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_7_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_7_count/.project
deleted file mode 100644
index f1d5440b..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_7_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_7_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_8_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_8_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_8_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_8_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_8_count/.project
deleted file mode 100644
index 310c3b65..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_8_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_8_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_9_count/.classpath b/evaluation/subjects/rsa_modpow_834443_bitlength_9_count/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_9_count/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/rsa_modpow_834443_bitlength_9_count/.project b/evaluation/subjects/rsa_modpow_834443_bitlength_9_count/.project
deleted file mode 100644
index 96afbc96..00000000
--- a/evaluation/subjects/rsa_modpow_834443_bitlength_9_count/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- rsa_modpow_834443_bitlength_9_count
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/stac_crime_unsafe/.classpath b/evaluation/subjects/stac_crime_unsafe/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/stac_crime_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/stac_crime_unsafe/.project b/evaluation/subjects/stac_crime_unsafe/.project
deleted file mode 100644
index 67039a5d..00000000
--- a/evaluation/subjects/stac_crime_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- stac_crime_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/stac_ibasys_unsafe/.classpath b/evaluation/subjects/stac_ibasys_unsafe/.classpath
deleted file mode 100644
index 50bc77ba..00000000
--- a/evaluation/subjects/stac_ibasys_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/stac_ibasys_unsafe/.project b/evaluation/subjects/stac_ibasys_unsafe/.project
deleted file mode 100644
index f6408278..00000000
--- a/evaluation/subjects/stac_ibasys_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- stac_ibasys_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_GWT_advanced_table_unsafe/.classpath b/evaluation/subjects/themis_GWT_advanced_table_unsafe/.classpath
deleted file mode 100644
index ab20152f..00000000
--- a/evaluation/subjects/themis_GWT_advanced_table_unsafe/.classpath
+++ /dev/null
@@ -1,8 +0,0 @@
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_GWT_advanced_table_unsafe/.project b/evaluation/subjects/themis_GWT_advanced_table_unsafe/.project
deleted file mode 100644
index efd37667..00000000
--- a/evaluation/subjects/themis_GWT_advanced_table_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_GWT_advanced_table_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_boot-stateless-auth_safe/.classpath b/evaluation/subjects/themis_boot-stateless-auth_safe/.classpath
deleted file mode 100644
index ffaa82fb..00000000
--- a/evaluation/subjects/themis_boot-stateless-auth_safe/.classpath
+++ /dev/null
@@ -1,67 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_boot-stateless-auth_safe/.project b/evaluation/subjects/themis_boot-stateless-auth_safe/.project
deleted file mode 100644
index d2ed7375..00000000
--- a/evaluation/subjects/themis_boot-stateless-auth_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_boot-stateless-auth_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_boot-stateless-auth_unsafe/.classpath b/evaluation/subjects/themis_boot-stateless-auth_unsafe/.classpath
deleted file mode 100644
index ffaa82fb..00000000
--- a/evaluation/subjects/themis_boot-stateless-auth_unsafe/.classpath
+++ /dev/null
@@ -1,67 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_boot-stateless-auth_unsafe/.project b/evaluation/subjects/themis_boot-stateless-auth_unsafe/.project
deleted file mode 100644
index 63d41f52..00000000
--- a/evaluation/subjects/themis_boot-stateless-auth_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_boot-stateless-auth_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_dynatable_unsafe/.classpath b/evaluation/subjects/themis_dynatable_unsafe/.classpath
deleted file mode 100644
index ab20152f..00000000
--- a/evaluation/subjects/themis_dynatable_unsafe/.classpath
+++ /dev/null
@@ -1,8 +0,0 @@
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_dynatable_unsafe/.project b/evaluation/subjects/themis_dynatable_unsafe/.project
deleted file mode 100644
index 64060ad7..00000000
--- a/evaluation/subjects/themis_dynatable_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_dynatable_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_jdk_safe/.classpath b/evaluation/subjects/themis_jdk_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/themis_jdk_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_jdk_safe/.project b/evaluation/subjects/themis_jdk_safe/.project
deleted file mode 100644
index 7a3a3150..00000000
--- a/evaluation/subjects/themis_jdk_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_jdk_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_jdk_unsafe/.classpath b/evaluation/subjects/themis_jdk_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/themis_jdk_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_jdk_unsafe/.project b/evaluation/subjects/themis_jdk_unsafe/.project
deleted file mode 100644
index 2e965740..00000000
--- a/evaluation/subjects/themis_jdk_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_jdk_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_jetty_safe/.classpath b/evaluation/subjects/themis_jetty_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/themis_jetty_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_jetty_safe/.project b/evaluation/subjects/themis_jetty_safe/.project
deleted file mode 100644
index 8ed6a4cf..00000000
--- a/evaluation/subjects/themis_jetty_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_jetty_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_jetty_unsafe/.classpath b/evaluation/subjects/themis_jetty_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/themis_jetty_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_jetty_unsafe/.project b/evaluation/subjects/themis_jetty_unsafe/.project
deleted file mode 100644
index 7d692f11..00000000
--- a/evaluation/subjects/themis_jetty_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_jetty_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_oacc_unsafe/.classpath b/evaluation/subjects/themis_oacc_unsafe/.classpath
deleted file mode 100644
index 417b97f1..00000000
--- a/evaluation/subjects/themis_oacc_unsafe/.classpath
+++ /dev/null
@@ -1,14 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_oacc_unsafe/.project b/evaluation/subjects/themis_oacc_unsafe/.project
deleted file mode 100644
index 3d8fbe56..00000000
--- a/evaluation/subjects/themis_oacc_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_oacc_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_openmrs-core_unsafe/.classpath b/evaluation/subjects/themis_openmrs-core_unsafe/.classpath
deleted file mode 100644
index b438361d..00000000
--- a/evaluation/subjects/themis_openmrs-core_unsafe/.classpath
+++ /dev/null
@@ -1,98 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_openmrs-core_unsafe/.project b/evaluation/subjects/themis_openmrs-core_unsafe/.project
deleted file mode 100644
index 3b0cda4f..00000000
--- a/evaluation/subjects/themis_openmrs-core_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_openmrs-core_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_orientdb_safe/.classpath b/evaluation/subjects/themis_orientdb_safe/.classpath
deleted file mode 100644
index 4043a38b..00000000
--- a/evaluation/subjects/themis_orientdb_safe/.classpath
+++ /dev/null
@@ -1,8 +0,0 @@
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_orientdb_safe/.project b/evaluation/subjects/themis_orientdb_safe/.project
deleted file mode 100644
index 47277391..00000000
--- a/evaluation/subjects/themis_orientdb_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_orientdb_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_orientdb_unsafe/.classpath b/evaluation/subjects/themis_orientdb_unsafe/.classpath
deleted file mode 100644
index 4043a38b..00000000
--- a/evaluation/subjects/themis_orientdb_unsafe/.classpath
+++ /dev/null
@@ -1,8 +0,0 @@
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_orientdb_unsafe/.project b/evaluation/subjects/themis_orientdb_unsafe/.project
deleted file mode 100644
index 017db6a8..00000000
--- a/evaluation/subjects/themis_orientdb_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_orientdb_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_pac4j_safe/.classpath b/evaluation/subjects/themis_pac4j_safe/.classpath
deleted file mode 100644
index 1ed4f285..00000000
--- a/evaluation/subjects/themis_pac4j_safe/.classpath
+++ /dev/null
@@ -1,13 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_pac4j_safe/.project b/evaluation/subjects/themis_pac4j_safe/.project
deleted file mode 100644
index 61f90f61..00000000
--- a/evaluation/subjects/themis_pac4j_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_pac4j_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_pac4j_unsafe/.classpath b/evaluation/subjects/themis_pac4j_unsafe/.classpath
deleted file mode 100644
index 1ed4f285..00000000
--- a/evaluation/subjects/themis_pac4j_unsafe/.classpath
+++ /dev/null
@@ -1,13 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_pac4j_unsafe/.project b/evaluation/subjects/themis_pac4j_unsafe/.project
deleted file mode 100644
index f5302c09..00000000
--- a/evaluation/subjects/themis_pac4j_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_pac4j_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_pac4j_unsafe_ext/.classpath b/evaluation/subjects/themis_pac4j_unsafe_ext/.classpath
deleted file mode 100644
index 1ed4f285..00000000
--- a/evaluation/subjects/themis_pac4j_unsafe_ext/.classpath
+++ /dev/null
@@ -1,13 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_pac4j_unsafe_ext/.project b/evaluation/subjects/themis_pac4j_unsafe_ext/.project
deleted file mode 100644
index 8af5ef2b..00000000
--- a/evaluation/subjects/themis_pac4j_unsafe_ext/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_pac4j_unsafe_ext
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_picketbox_safe/.classpath b/evaluation/subjects/themis_picketbox_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/themis_picketbox_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_picketbox_safe/.project b/evaluation/subjects/themis_picketbox_safe/.project
deleted file mode 100644
index 24dcaba1..00000000
--- a/evaluation/subjects/themis_picketbox_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_picketbox_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_picketbox_unsafe/.classpath b/evaluation/subjects/themis_picketbox_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/themis_picketbox_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_picketbox_unsafe/.project b/evaluation/subjects/themis_picketbox_unsafe/.project
deleted file mode 100644
index dfef7751..00000000
--- a/evaluation/subjects/themis_picketbox_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_picketbox_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_spring-security_safe/.classpath b/evaluation/subjects/themis_spring-security_safe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/themis_spring-security_safe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_spring-security_safe/.project b/evaluation/subjects/themis_spring-security_safe/.project
deleted file mode 100644
index b1aff859..00000000
--- a/evaluation/subjects/themis_spring-security_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_spring-security_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_spring-security_unsafe/.classpath b/evaluation/subjects/themis_spring-security_unsafe/.classpath
deleted file mode 100644
index c83f6fef..00000000
--- a/evaluation/subjects/themis_spring-security_unsafe/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_spring-security_unsafe/.project b/evaluation/subjects/themis_spring-security_unsafe/.project
deleted file mode 100644
index 0b2a73a9..00000000
--- a/evaluation/subjects/themis_spring-security_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_spring-security_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_tomcat_safe/.classpath b/evaluation/subjects/themis_tomcat_safe/.classpath
deleted file mode 100644
index 66fcbbb8..00000000
--- a/evaluation/subjects/themis_tomcat_safe/.classpath
+++ /dev/null
@@ -1,14 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_tomcat_safe/.project b/evaluation/subjects/themis_tomcat_safe/.project
deleted file mode 100644
index b1d253e3..00000000
--- a/evaluation/subjects/themis_tomcat_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_tomcat_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_tomcat_unsafe/.classpath b/evaluation/subjects/themis_tomcat_unsafe/.classpath
deleted file mode 100644
index 66fcbbb8..00000000
--- a/evaluation/subjects/themis_tomcat_unsafe/.classpath
+++ /dev/null
@@ -1,14 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_tomcat_unsafe/.project b/evaluation/subjects/themis_tomcat_unsafe/.project
deleted file mode 100644
index bcbecf6b..00000000
--- a/evaluation/subjects/themis_tomcat_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_tomcat_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_tourplanner_safe/.classpath b/evaluation/subjects/themis_tourplanner_safe/.classpath
deleted file mode 100644
index 3fa6c70c..00000000
--- a/evaluation/subjects/themis_tourplanner_safe/.classpath
+++ /dev/null
@@ -1,32 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_tourplanner_safe/.project b/evaluation/subjects/themis_tourplanner_safe/.project
deleted file mode 100644
index 08660cf3..00000000
--- a/evaluation/subjects/themis_tourplanner_safe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_tourplanner_safe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/evaluation/subjects/themis_tourplanner_unsafe/.classpath b/evaluation/subjects/themis_tourplanner_unsafe/.classpath
deleted file mode 100644
index 3fa6c70c..00000000
--- a/evaluation/subjects/themis_tourplanner_unsafe/.classpath
+++ /dev/null
@@ -1,32 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/evaluation/subjects/themis_tourplanner_unsafe/.project b/evaluation/subjects/themis_tourplanner_unsafe/.project
deleted file mode 100644
index 27189e11..00000000
--- a/evaluation/subjects/themis_tourplanner_unsafe/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
- themis_tourplanner_unsafe
-
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
-
-
diff --git a/tool/afl-2.51b-qfuzz/afl-analyze b/tool/afl-2.51b-qfuzz/afl-analyze
deleted file mode 100755
index 7ba002da..00000000
Binary files a/tool/afl-2.51b-qfuzz/afl-analyze and /dev/null differ
diff --git a/tool/afl-2.51b-qfuzz/afl-as b/tool/afl-2.51b-qfuzz/afl-as
deleted file mode 100755
index 9755e86d..00000000
Binary files a/tool/afl-2.51b-qfuzz/afl-as and /dev/null differ
diff --git a/tool/afl-2.51b-qfuzz/afl-fuzz b/tool/afl-2.51b-qfuzz/afl-fuzz
deleted file mode 100755
index 53007063..00000000
Binary files a/tool/afl-2.51b-qfuzz/afl-fuzz and /dev/null differ
diff --git a/tool/afl-2.51b-qfuzz/afl-gcc b/tool/afl-2.51b-qfuzz/afl-gcc
deleted file mode 100755
index d4b2e1a1..00000000
Binary files a/tool/afl-2.51b-qfuzz/afl-gcc and /dev/null differ
diff --git a/tool/afl-2.51b-qfuzz/afl-gotcpu b/tool/afl-2.51b-qfuzz/afl-gotcpu
deleted file mode 100755
index fbdb84ef..00000000
Binary files a/tool/afl-2.51b-qfuzz/afl-gotcpu and /dev/null differ
diff --git a/tool/afl-2.51b-qfuzz/afl-showmap b/tool/afl-2.51b-qfuzz/afl-showmap
deleted file mode 100755
index db8cf12b..00000000
Binary files a/tool/afl-2.51b-qfuzz/afl-showmap and /dev/null differ
diff --git a/tool/afl-2.51b-qfuzz/afl-tmin b/tool/afl-2.51b-qfuzz/afl-tmin
deleted file mode 100755
index cbf5debd..00000000
Binary files a/tool/afl-2.51b-qfuzz/afl-tmin and /dev/null differ
diff --git a/tool/instrumentor/.classpath b/tool/instrumentor/.classpath
deleted file mode 100644
index 4857be40..00000000
--- a/tool/instrumentor/.classpath
+++ /dev/null
@@ -1,12 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/tool/instrumentor/.project b/tool/instrumentor/.project
deleted file mode 100644
index 217346d1..00000000
--- a/tool/instrumentor/.project
+++ /dev/null
@@ -1,23 +0,0 @@
-
-
- instrumentor
- Project instrumentor created by Buildship.
-
-
-
-
- org.eclipse.jdt.core.javabuilder
-
-
-
-
- org.eclipse.buildship.core.gradleprojectbuilder
-
-
-
-
-
- org.eclipse.jdt.core.javanature
- org.eclipse.buildship.core.gradleprojectnature
-
-