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