commit 3cbbca6129dc7dd15dd773ccb6d15ac9f58c9886
author Philipp Wollermann <philwo@google.com> Mon Sep 21 13:40:45 2015 +0000
committer Damien Martin-Guillerez <dmarting@google.com> Mon Sep 21 14:25:57 2015 +0000
tree 1ab1b67218f3de8095f5245c23bf21240bb0bbba
parent b181aff084af586c9c07c058ed7524606077bdf6

workers: Remove unneeded constructor.

--
MOS_MIGRATED_REVID=103541148

src/main/java/com/google/devtools/build/lib/worker/WorkerPool.java

diff --git a/src/main/java/com/google/devtools/build/lib/worker/WorkerPool.java b/src/main/java/com/google/devtools/build/lib/worker/WorkerPool.java
index 4df8ddc..46810d0 100644
--- a/src/main/java/com/google/devtools/build/lib/worker/WorkerPool.java
+++ b/src/main/java/com/google/devtools/build/lib/worker/WorkerPool.java
@@ -35,11 +35,6 @@
   final WorkerFactory workerFactory;
   final Set<Worker> workers = new HashSet<>();
 
-  public WorkerPool(WorkerFactory factory) {
-    super(factory);
-    this.workerFactory = factory;
-  }
-
   public WorkerPool(WorkerFactory factory, GenericKeyedObjectPoolConfig config) {
     super(factory, config);
     this.workerFactory = factory;