diff --git a/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java b/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java
index cf857c767..fb882a24a 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java
@@ -23,12 +23,10 @@ public class EmptyTheory extends AbstractTheory {
 
   private EmptyTheory() {}
   
-  @Override
   public Collection<? extends IFormula> getSentences() {
     return Collections.emptySet();
   }
 
-  @Override
   public IVocabulary getVocabulary() {
     return BasicVocabulary.make(Collections.emptySet());
   }