ICompilationUnit original= (ICompilationUnit) info.fCopy.getOriginalElement(); IResource resource= original.getUnderlyingResource(); if (resource != null) info.fModificationStamp= resource.getModificationStamp();
	protected void doSaveDocument(IProgressMonitor monitor, Object element, IDocument document) throws CoreException {						CompilationUnitInfo info= (CompilationUnitInfo) getElementInfo(element);		if (info != null) {										try {									// update structure, assumes lock on info.fCopy				info.fCopy.reconcile();								// commit working copy				// HackFinder.fixme("cannot commit the same working copy twice");				info.fCopy.commit(false, monitor);								AbstractMarkerAnnotationModel model= (AbstractMarkerAnnotationModel) info.fModel;				model.updateMarkers(info.fDocument);									} catch (JavaModelException x) {				throw new CoreException(x.getStatus());			}					} else {			super.doSaveDocument(monitor, element, document);		}			}