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