Bug 78756 Properties file editor fails to save plugin.properties
I200411160944 Properties file editor fails to save plugin.properties
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/propertiesfileeditor/PropertiesFileDocumentProvider.java
/**
	 * Creates a new properties file document provider and
	 * sets up the parent chain.
	 */
	public PropertiesFileDocumentProvider() {
		IDocumentProvider provider= new TextFileDocumentProvider();
		provider= new ForwardingDocumentProvider(IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING, new PropertiesFileDocumentSetupParticipant(), provider);
		setParentDocumentProvider(provider);
	}
	
	/*
	 * @see org.eclipse.ui.editors.text.TextFileDocumentProvider#createFileInfo(java.lang.Object)
	 */
	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 || !JAVA_PROPERTIES_FILE_CONTENT_TYPE.equals(description.getContentType()))
			return null;
		return super.createFileInfo(element);
	}
}