}
public static void saveGraphDocument(IFile file, GraphDocument graph)
throws CoreException {
GraphModelXmlPersist loader = new GraphModelXmlPersist();
loader.save(file.getRawLocationURI(), graph);
file.refreshLocal(IResource.DEPTH_ZERO, null);
}
/**
* Provide the graph document located for the given file.