public void markXmlSaved() {
CommandStack stack = getCommandStack();
if (stack == null) {
Activator.getLogger().warning("No command stack available when trying to save document!");
} else {
stack.markSaveLocation();
}
}
public IFeatureProvider getFeatureProvider() {
return getDiagramTypeProvider().getFeatureProvider();