code: private final void resetTokenMark(int mark)
    {
  
      int qsz = m_compiler.getTokenQueueSize();
  
      m_processor.m_queueMark = (mark > 0)
                                ? ((mark <= qsz) ? mark - 1 : mark) : 0;
  
      if (m_processor.m_queueMark < qsz)
      {
        m_processor.m_token =
          (String) m_compiler.getTokenQueue().elementAt(m_processor.m_queueMark++);
        m_processor.m_tokenChar = m_processor.m_token.charAt(0);
      }
      else
      {
        m_processor.m_token = null;
        m_processor.m_tokenChar = 0;
      }
    }
docs: Reset token queue mark and m_token to a
  given position.
  @param mark The new position.