ConsoleTarget-fix-synchronization.diff

--- ConsoleTarget-HEAD.java	Fri Jun 11 15:00:00 2010
+++ ConsoleTarget-with-fix.java	Fri Jun 04 16:40:01 2010
@@ -22,6 +22,7 @@
  * @author Ceki Gülcü
  * @author Tom SH Liu
  * @author Ruediger Dohna
+ * @author David Roussel
  */
 public enum ConsoleTarget {
 
@@ -31,6 +32,14 @@
       System.out.write(b);
     }
     @Override
+    public void write(byte b[]) throws IOException {
+      System.out.write(b);
+    }
+    @Override
+    public void write(byte b[], int off, int len) throws IOException {
+      System.out.write(b, off, len);
+    }
+    @Override
     public void flush() throws IOException {
       System.out.flush();
     }
@@ -40,6 +49,14 @@
     @Override
     public void write(int b) throws IOException {
       System.err.write(b);
+    }
+    @Override
+    public void write(byte b[]) throws IOException {
+      System.err.write(b);
+    }
+    @Override
+    public void write(byte b[], int off, int len) throws IOException {
+      System.err.write(b, off, len);
     }
     @Override
     public void flush() throws IOException {