boolean () { boolean mappingsChanged; synchronized (myMonitor) { mappingsChanged = !myMoreRealMapping.equals(myNewFilteredMapping); mappingsChanged |= !myErrorRoots.equals(myResult.getErrorRoots()); myMapping.copyFrom(myNewMapping); myMoreRealMapping.copyFrom(myNewFilteredMapping); myErrorRoots.clear(); myErrorRoots.addAll(myResult.getErrorRoots()); } return mappingsChanged; }