From db9abf589f0496cf05337e22b6a200cbaf4eede5 Mon Sep 17 00:00:00 2001 From: Andrew Gvozdev Date: Sat, 15 May 2010 16:36:38 +0000 Subject: [PATCH] compilation warnings --- .../eclipse/cdt/newmake/internal/core/StreamMonitor.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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();