@Nonnull
  public String getRest ()
  {
    final String ret = m_sInput.substring (m_nCurIndex);
    m_nCurIndex = m_nMaxIndex;
    return ret;
  }
@ Nonnull public String getRest ( ) { final String ret = m_sInput . substring ( m_nCurIndex ) ; m_nCurIndex = m_nMaxIndex ; return ret ; }
Get all remaining chars, and set the index to the end of the input string

@return The remaining string. May not be <code>null</code> but may be
empty.