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