--- org.sat4j.core/src/org/sat4j/tools/DimacsStringSolver.java	2008-05-25 05:07:56.000000000 -0400
+++ src/org/sat4j/tools/DimacsStringSolver.java	2008-06-10 23:32:10.000000000 -0400
@@ -274,12 +274,10 @@
         
     }
 
-	@Override
 	public boolean isDBSimplificationAllowed() {
 		return false;
 	}
 
-	@Override
 	public void setDBSimplificationAllowed(boolean status) {
 		
 	}