if (file == null)
if (file == null || !file.isAccessible())
	protected FileInfo createFileInfo(Object element) throws CoreException {		if (JAVA_PROPERTIES_FILE_CONTENT_TYPE == null || !(element instanceof IFileEditorInput))			return null;		IFileEditorInput input= (IFileEditorInput)element;		IFile file= input.getFile();		if (file == null)			return null;		IContentDescription description= file.getContentDescription();		if (description == null || description.getContentType() == null || !description.getContentType().isKindOf(JAVA_PROPERTIES_FILE_CONTENT_TYPE))			return null;		return super.createFileInfo(element);	}