506507508509510511512513514515516
if (t.isWhitespace()) { it.remove(); } else { t.trimLeading(); break; } } //trailing whitespace