IStatus s= new Status(IStatus.ERROR, JavaUI.ID_PLUGIN, IStatus.OK, x.getMessage(), x);
String message= (x != null ? x.getMessage() : ""); IStatus s= new Status(IStatus.ERROR, JavaUI.ID_PLUGIN, IStatus.OK, message, x);
	public void saveDocumentContent(IProgressMonitor monitor, Object element, IDocument document, boolean overwrite) throws CoreException {				if (!fIsAboutToSave)			return;				if (element instanceof IFileEditorInput) {			IFileEditorInput input= (IFileEditorInput) element;			try {				String encoding= getEncoding(element);				if (encoding == null)					encoding= ResourcesPlugin.getEncoding();				InputStream stream= new ByteArrayInputStream(document.get().getBytes(encoding));				IFile file= input.getFile();				file.setContents(stream, overwrite, true, monitor);			} catch (IOException x)  {				IStatus s= new Status(IStatus.ERROR, JavaUI.ID_PLUGIN, IStatus.OK, x.getMessage(), x);				throw new CoreException(s);			}		}	}