--- src/org/sat4j/minisat/core/Solver.java	2008-05-25 05:07:56.000000000 -0400
+++ src/org/sat4j/minisat/core/Solver.java	2008-06-19 12:51:06.000000000 -0400
@@ -1312,12 +1312,10 @@
 		return null;
 	}
 
-	@Override
 	public boolean isDBSimplificationAllowed() {
 		return isDBSimplificationAllowed;
 	}
 
-	@Override
 	public void setDBSimplificationAllowed(boolean status) {
 		isDBSimplificationAllowed = status;
 	}