flush autoflush PrintStreams after every char[] write, independent of whether there's a \n in the char[] array or not.  This is not what the spec says, but Sun does it too.  This may be overly eager, but at least it stops us from losing output (which was really annoying).
flush autoflush PrintStreams after every char[] write, independent of
whether there's a \n in the char[] array or not.  This is not what the
spec says, but Sun does it too.  This may be overly eager, but at least
it stops us from losing output (which was really annoying).

kaffe/kaffe,kaffe/kaffe,kaffe/kaffe,kaffe/kaffe,kaffe/kaffe