DiagramEditorPaletteFactory.Size=125 DiagramEditorPaletteFactory.State=2 eclipse.preferences.version=1