if(m_Distributions != null) m_Distributions.removeElementAt(last);
  public void removeLast(){    int last = m_Ruleset.size()-1;    m_Ruleset.removeElementAt(last);    m_Filtered.removeElementAt(last);    m_SimpleStats.removeElementAt(last);	  }