Bug 86135 Make use of new IResource#revertModificationStamp(long) API
org.eclipse.ltk.core.refactoring/src/org/eclipse/ltk/internal/core/refactoring/SaveListener.java
private class DeltaVisitor implements IResourceDeltaVisitor {
		public boolean visit(IResourceDelta delta) {
			IResource resource= delta.getResource();
			if (resource.getType() == IResource.FILE && delta.getKind() == IResourceDelta.CHANGED &&
					(delta.getFlags() & IResourceDelta.CONTENT) != 0) {
				IFile file= (IFile)resource;
				ContentStamps.increment(file);
			}
			return true;
		}
	}
	
	private DeltaVisitor fVisitor= new DeltaVisitor();
	private int fInChangeExecution;
	
	private static final SaveListener INSTANCE= new SaveListener();
	
	public static SaveListener getInstance() {
		return INSTANCE;
	}
	
	public void resourceChanged(IResourceChangeEvent event) {
		try {