IResource resource= getResource(getModifiedElement()); if (resource != null) { fModificationStamp= resource.getModificationStamp(); }
	public void initializeValidationData(IProgressMonitor pm) {		IResource resource= getResource(getModifiedElement());		if (resource != null) {			fModificationStamp= resource.getModificationStamp();		}	}