Project: JDT
Bug 78756 Properties file editor fails to save plugin.properties
Reported: 2004-11-16 12:51:25 | Status: resolved fixed

I200411160944 Properties file editor fails to save plugin.properties

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/propertiesfileeditor/PropertiesFileDocumentProvider.java