private void maybeInsertAdjacentWhitespace(int c) throws IOException { if (adjacentSeparatorRequired) { if (!isSeparator(c)) { char lastChar = getLastChar(); if (lastChar != 0 && !isSeparator(lastChar)) { writer.write(' '); } } adjacentSeparatorRequired = false; } }
@Override protected boolean isSeparator(int i) { return !isSpanMarkup((char) i) && super.isSeparator(i); }