Element targetElement = (Element) mevt.getTarget();
// Repaint the target node
DefaultTreeModel model = (DefaultTreeModel) tree
.getModel();
model.nodeChanged(findNode(tree, targetElement));
attributePanel.updateOnDocumentChange(mevt.getType(),
targetElement);
}
};
refreshGUI(runnable);