100644 blob 9f25d677788b6353152ca2e2b4f88e51159fbcd5	CommonEditorPreferenceNames.java
100644 blob 1c9f963ea72b8e95a85393dfc88f6d7e29324519	PreferenceManager.java
040000 tree 64e00b5ac293062ac01da5ff2932a4aa6919861a	ui