public void componentResized(ComponentEvent e) {
RESIZE();
}
});
TreeComponent newSourceTree = new MigrationTree(this, m_new.getInputStructure());
newSourceTree.setSearchTitle("Search New Source Tree");
m_newSourceScrollPane = new TreeScrollPane(this, newSourceTree, m_newSourceJtr, "new SOURCE");
m_newSourceTree=m_newSourceScrollPane.m_tree;
TreeComponent oldSourceTree = new MigrationTree(this, m_old.getInputStructure());
oldSourceTree.setSearchTitle("Search Old Source Tree");
m_oldSourceScrollPane=new TreeScrollPane(this, oldSourceTree,m_oldSourceJtr,"old SOURCE");
m_oldSourceTree=m_oldSourceScrollPane.m_tree;
TreeComponent oldTargetTree = new MigrationTree(this, m_old.getOutputStructure());
oldTargetTree.setSearchTitle("Search Old Target Tree");
m_oldTargetScrollPane=new TreeScrollPane(this, oldTargetTree, m_oldTargetJtr, "old TARGET");
m_oldTargetTree=m_oldTargetScrollPane.m_tree;
TreeComponent newTargetTree = new MigrationTree(this, m_new.getOutputStructure());
newTargetTree.setSearchTitle("Search New Target Tree");
m_newTargetScrollPane=new TreeScrollPane(this,newTargetTree,m_newTargetJtr,"new TARGET");
m_newTargetTree=m_newTargetScrollPane.m_tree;
m_sourceMapArea=new MapArea_Migration(m_newSourceScrollPane, m_oldSourceScrollPane, false);
m_targetMapArea=new MapArea_Migration(m_oldTargetScrollPane, m_newTargetScrollPane, true);