merge of localization branch into HEAD. mh and zap
[mir.git] / source / mir / util / NullWriter.java
1 package mir.util;
2
3 import java.io.*;
4
5 public class NullWriter extends Writer {
6
7   public NullWriter() {
8   }
9
10   public void close() {
11   }
12
13   public void flush() {
14   }
15
16   public void write(char[] cbuf, int off, int len) {
17   }
18 }