fix: various cleanups in file names and java package names

benchmarks/CLEVER/LoopUnreach15/Neq/newV.java

@@ -1,4 +1,4 @@
-package benchmarks.CLEVER.LoopUnreach5.Neq;
+package benchmarks.CLEVER.LoopUnreach15.Neq;
 public class newV {
 	private int foo(int a, int b) {
 		int c=1;
@@ -13,4 +13,4 @@ public int main(int x) {
 			return foo(x,15);
 		return 0;
 	}
-}
+}

benchmarks/CLEVER/getSign2/Neq/newV.java

@@ -1,4 +1,4 @@
-package benchmarks.CLEVER.getSign2.Eq;
+package benchmarks.CLEVER.getSign2.Neq;
 public class newV {
 	private int lib(int x) {
 		if (x <= 0)
@@ -9,4 +9,4 @@ private int lib(int x) {
 	public int client(int x){
 		return lib(x);
 	}
-}
+}

benchmarks/CLEVER/is_prime1/Neq/newV.java

@@ -1,4 +1,4 @@
-package benchmarks.CLEVER.is_prime1.Eq;
+package benchmarks.CLEVER.is_prime1.Neq;
 public class newV {
 	int NUMPRIMES = 8;
 	int[] primes = { 2, 3, 5, 7, 11, 13, 17, 19 };
@@ -20,4 +20,4 @@ public boolean client(int x) {
 		  }
 		  return lib(x,1);
 	}
-}
+}

benchmarks/CLEVER/is_prime1/Neq/oldV.java

@@ -1,4 +1,4 @@
-package benchmarks.CLEVER.is_prime1.Eq;
+package benchmarks.CLEVER.is_prime1.Neq;
 public class oldV {
 	int NUMPRIMES = 8;
 	int[] primes = { 2, 3, 5, 7, 11, 13, 17, 19 };
@@ -20,4 +20,4 @@ public boolean client(int x) {
 		  }
 		  return lib(x,1);
 	}
-}
+}

benchmarks/REVE/ackermann/Neq/oldV.java

@@ -1,5 +1,5 @@
 package benchmarks.REVE.ackermann.Neq;
-public class newV {
+public class oldV {
 	int f(int m, int n) {
 		int r;
 		int x;
@@ -16,4 +16,4 @@ int f(int m, int n) {
 		}}
 		return r;
 	}
-}
+}

benchmarks/REVE/barthe/Neq/newV.java

@@ -1,4 +1,4 @@
-package benchmarks.REVE.barthe.Eq;
+package benchmarks.REVE.barthe.Neq;
 public class newV {
 	int f(int n, int c) {
 		int i;
@@ -17,4 +17,4 @@ int f(int n, int c) {
 		}
 		return x;
 	}
-}
+}

benchmarks/REVE/barthe/Neq/oldV.java

@@ -1,4 +1,4 @@
-package benchmarks.REVE.barthe.Eq;
+package benchmarks.REVE.barthe.Neq;
 public class oldV {
 	int f(int n, int c) {
 		int i;
@@ -14,4 +14,4 @@ int f(int n, int c) {
 		}
 		return x;
 	}
-}
+}