}
m_new.setMapList(lines);
m_TreeMapper.getTreeMapperContainer().save(m_new);
// Now we open a page for the new transformation (or switch
// to the page if it is already opened):
pageDisplayer.openPage(m_new);
} catch (TreeMapperException ex) {
ErrorLog.attention(Migration.class, "Failed to apply the new mappings.", ex);
}
setDirty(false);
}