} finally {
try {
- // TODO jsurfer temp-del
// update JavaModel using deltas that were recorded during this operation
- // for (int i = previousDeltaCount, size = manager.javaModelDeltas.size(); i < size; i++) {
- // manager.updateJavaModel((IJavaElementDelta)manager.javaModelDeltas.get(i));
- // }
+ for (int i = previousDeltaCount, size = manager.javaModelDeltas.size(); i < size; i++) {
+ manager.updateJavaModel((IJavaElementDelta)manager.javaModelDeltas.get(i));
+ }
// fire only iff:
// - the operation is a top level operation