import java.io.*;
/**
- * LineFilterWriter schneidet unsinnige \t \r \n ` ` raus
+ * LineFilterWriter eliminates superfluous \t \r \n and spaces
+ * and thus compresses the output of html
*
**/
-public final class LineFilterWriter extends PrintWriter{//extends java.io.FilterWriter{
+public final class LineFilterWriter extends PrintWriter{
+ protected Writer out;
public LineFilterWriter(Writer out) {
super(out);
+ this.out=out;
}
public final void write(String str){