100644 blob 92963eab2f519d7f448337404b9aac510a4edf95	CommonEditorPreferenceNames.java
100644 blob f47254dca9894dfde8d4cb5283ccdf96d923d4ce	PreferenceKeyGenerator.java
100644 blob 1c9f963ea72b8e95a85393dfc88f6d7e29324519	PreferenceManager.java
040000 tree c472ddbeb446f8ec1e07b7fff3b88815969ae65f	ui