[m-rev.] diff 1/3: [java] Remove dead code

[Paul Bone]

Branches: master

---

[java] Remove dead code

java/runtime/MercuryThreadPool.java:
    As above.
---
 java/runtime/MercuryThreadPool.java | 25 -------------------------
 1 file changed, 25 deletions(-)

diff --git a/java/runtime/MercuryThreadPool.java b/java/runtime/MercuryThreadPool.java
index a08864b..142b2e6 100644
--- a/java/runtime/MercuryThreadPool.java
+++ b/java/runtime/MercuryThreadPool.java
@@ -49,8 +49,6 @@ public class MercuryThreadPool
 {
     public static final boolean         debug = false;
 
-    private static MercuryThreadPool    instance;
-
     private MercuryThreadFactory        thread_factory;
 
     /*
@@ -441,29 +439,6 @@ public class MercuryThreadPool
     }
 
     /**
-     * Get the number of currently queued tasks.
-     * @return true if all tasks have been completed.
-     */
-    protected boolean checkTasks()
-    {
-        long    num_tasks_submitted;
-        long    num_tasks_completed;
-        boolean done;
-
-        tasks_lock.lock();
-        try {
-            num_tasks_submitted = this.num_tasks_submitted;
-            num_tasks_completed = this.num_tasks_completed;
-
-            done = (num_tasks_submitted == num_tasks_completed);
-        } finally {
-            tasks_lock.unlock();
-        }
-
-        return done;
-    }
-
-    /**
      * Run the thread pool.  This is usually called by runMain()
      */
     public void run()
-- 
2.1.3