142143144145146147148149150151152
boolean wasCasChanged = process(doc.getCAS()); if (wasCasChanged) { Display.getDefault().syncExec(new Runnable() { public void run() { doc.changed(); } }); try {