199200201202203204205206207208209
MessageDialog.openError(Display.getDefault().getActiveShell(), "Quick Fix Error", "Could not find error marker"); } finally { if (model != null) { model.releaseFromEdit(); model = null; } } }
96979899100101102103104105106
catch (CoreException e) { StatusHandler.log(e.getStatus()); } finally { if (model != null) { model.releaseFromEdit(); } } } /**
146147148149150151152153154155156
} } finally { if (model != null) { model.releaseFromEdit(); } } } public String getDisplayString() {
107108109110111112113114115116117
100101102103104105106107108109110
} } } finally { if (model != null) { model.releaseFromEdit(); } } } public String getDisplayString() {
7374757677787980818283
} finally { if (model != null) { model.endRecording(this); model.releaseFromEdit(); model = null; } } }