public void removeResult(String name){
  StringBuffer buff=m_Results.get(name);
  if (buff != null) {
    m_Results.remove(name);
    m_Model.removeElement(name);
    m_Objs.remove(name);
    System.gc();
  }
}

public void removeResult ( String name ) { StringBuffer buff = m_Results . get ( name ) ; if ( buff != null ) { m_Results . remove ( name ) ; m_Model . removeElement ( name ) ; m_Objs . remove ( name ) ; System . gc ( ) ; } }
removes one of the result buffers from the history . any windows currently displaying the contents of the buffer are not affected .
