op.run(JSPSearchSupport.getInstance().getProgressMonitor());
} else {
//editor save must be done on UI thread
IRunnableWithProgress runnable= new IRunnableWithProgress() {
public void run(IProgressMonitor pm) throws InterruptedException {
editor.doSave(pm);
}
};
PlatformUI.getWorkbench().getProgressService().runInUI(editor.getSite().getWorkbenchWindow(), runnable, null);
}
} catch (InvocationTargetException e) {