docs: public String popHistory()
      {
          String strHistory = null;
          if (m_vHistory != null) if (m_vHistory.size() > 0)
              strHistory = (String)m_vHistory.remove(m_vHistory.size() - 1);
          return strHistory;
      }