From d2046b67b1cbb4d3b8be5032df7a60c149a5b441 Mon Sep 17 00:00:00 2001
From: Mark DePristo <depristo@broadinstitute.org>
Date: Wed, 19 Sep 2012 09:58:36 -0400
Subject: [PATCH] Remove problematic @Ensures from InputProducer.

-- We need to figure out why CoFoJa is broken in the NanoScheduler
---
 .../sting/utils/nanoScheduler/InputProducer.java               | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/public/java/src/org/broadinstitute/sting/utils/nanoScheduler/InputProducer.java b/public/java/src/org/broadinstitute/sting/utils/nanoScheduler/InputProducer.java
index adec98cff..0e337631c 100644
--- a/public/java/src/org/broadinstitute/sting/utils/nanoScheduler/InputProducer.java
+++ b/public/java/src/org/broadinstitute/sting/utils/nanoScheduler/InputProducer.java
@@ -1,6 +1,5 @@
 package org.broadinstitute.sting.utils.nanoScheduler;
 
-import com.google.java.contract.Ensures;
 import org.apache.log4j.Logger;
 import org.broadinstitute.sting.utils.SimpleTimer;
 import org.broadinstitute.sting.utils.exceptions.ReviewedStingException;
@@ -187,7 +186,7 @@ class InputProducer<InputType> implements Runnable {
          *
          * @return ID
          */
-        @Ensures({"result.isEOFMarker()", "result.getId() == getId() + 1"})
+        //@Ensures({"result.isEOFMarker()", "result.getId() == getId() + 1"})
         public InputValue nextEOF() {
             if ( ! isEOFMarker() )
                 throw new IllegalArgumentException("Cannot request next EOF marker for non-EOF marker InputValue");