protected void handleElementChanged(ResourceSetInfo info,
Resource changedResource, IProgressMonitor monitor) {
IFile file = WorkspaceSynchronizer.getFile(changedResource);
if (file != null) {
try {
file.refreshLocal(IResource.DEPTH_INFINITE, monitor);
} catch (CoreException ex) {
es.upm.dit.gsi.eclipse.jadex.diagram.eclipseJadex.diagram.part.JadexAgentsDiagramEditorPlugin
.getInstance()
.logError(
es.upm.dit.gsi.eclipse.jadex.diagram.eclipseJadex.diagram.part.Messages.JadexAgentsDocumentProvider_handleElementContentChanged,