diff --git a/public/java/src/org/broadinstitute/sting/utils/genotyper/PerReadAlleleLikelihoodMap.java b/public/java/src/org/broadinstitute/sting/utils/genotyper/PerReadAlleleLikelihoodMap.java
index 85d77d946..9cfa20b8f 100644
--- a/public/java/src/org/broadinstitute/sting/utils/genotyper/PerReadAlleleLikelihoodMap.java
+++ b/public/java/src/org/broadinstitute/sting/utils/genotyper/PerReadAlleleLikelihoodMap.java
@@ -131,7 +131,6 @@ public class PerReadAlleleLikelihoodMap {
      * @param p                 Pileup element
      * @return
      */
-    @Ensures("result != null")
     public boolean containsPileupElement(PileupElement p) {
         if (p==null )
            throw new IllegalArgumentException("Invalid pileup element");