out.write (indentChar);
writer.write (indentChar);
    private int indent()    {        int result = indentation;        int i;        if (prefix != null)        {            for (i = 0; i < prefix.length(); i++)                out.write (indentChar);            result += prefix.length();        }        for (i = 0; i < indentation; i++)            out.write (indentChar);        return result;    }