//now to remove all the stuff
m_focus.m_set1 = null;
m_focus.m_set2 = null;
m_focus.setInfo(m_focus.m_attrib1, m_focus.m_attrib2, null);
//tree_frame.getContentPane().removeAll();
m_tView = new TreeVisualizer(this, graph(), new PlaceNode2());
//tree_frame.getContentPane().add(m_tView);
m_reps.setComponentAt(0, m_tView);
//tree_frame.getContentPane().doLayout();
m_tView.setHighlight(m_focus.m_identity);
}