finalMonitor.worked(5);
} catch (IOException e) {
throw new ExportImageException("Could not export Latex page '" + latexDestination + "': " + e.getMessage(), e);
}
finalMonitor.done();
// once finished, refresh parent (folder, project)
try {
targetDiagram.getParent().refreshLocal(IResource.DEPTH_INFINITE, new SubProgressMonitor(monitor, 5));
} catch (CoreException e) {