diff options
| -rw-r--r-- | build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/newmake/internal/core/StreamMonitor.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/newmake/internal/core/StreamMonitor.java b/build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/newmake/internal/core/StreamMonitor.java index 9a135ba8a8e..e895d1fa076 100644 --- a/build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/newmake/internal/core/StreamMonitor.java +++ b/build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/newmake/internal/core/StreamMonitor.java @@ -53,6 +53,7 @@ public class StreamMonitor extends OutputStream { /** * @see java.io.OutputStream#close() */ + @Override public void close() throws IOException { if (console != null) { console.close(); @@ -63,6 +64,7 @@ public class StreamMonitor extends OutputStream { /** * @see java.io.OutputStream#flush() */ + @Override public void flush() throws IOException { if (console != null) { console.flush(); @@ -72,6 +74,7 @@ public class StreamMonitor extends OutputStream { /** * @see java.io.OutputStream#write(int) */ + @Override public synchronized void write(int b) throws IOException { if (console != null) { console.write(b); @@ -80,8 +83,9 @@ public class StreamMonitor extends OutputStream { } /** - * @see java.io.OutputStream#write(...) + * @see java.io.OutputStream#write(byte[], int, int) */ + @Override public synchronized void write(byte[] b, int off, int len) throws IOException { if (b == null) { throw new NullPointerException(); |