diff --git a/src/main/org/apache/tools/ant/taskdefs/StreamPumper.java b/src/main/org/apache/tools/ant/taskdefs/StreamPumper.java index 78cf8f91b..dcc682a02 100644 --- a/src/main/org/apache/tools/ant/taskdefs/StreamPumper.java +++ b/src/main/org/apache/tools/ant/taskdefs/StreamPumper.java @@ -128,7 +128,7 @@ public class StreamPumper implements Runnable { wait(); } } - + /** * Stop the pumper as soon as possible. * Note that it may continue to block on the input stream @@ -140,5 +140,4 @@ public class StreamPumper implements Runnable { finished = true; notifyAll(); } - }