nl_tokens: Write a portion of a String .
pl_tokens: public void write ( String s , int off , int len ) throws IOException { ensureOpen ( ) ; if ( bufferSize == 0 ) { initOut ( ) ; out . write ( s , off , len ) ; return ; } int b = off , t = off + len ; while ( b < t ) { int d = <mask> ( getRemaining ( ) , t - b ) ; s . getChars ( b , b + d , buf . buf , buf . pos ) ; b += d ; buf . pos += d ; if ( getRemaining ( ) == 0 ) if ( autoFlush ) flushBuffer ( ) ; else bufferOverflow ( ) ; } }