code: @Nonnull
    public String getRest ()
    {
      final String ret = m_sInput.substring (m_nCurIndex);
      m_nCurIndex = m_nMaxIndex;
      return ret;
    }
docs: 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.