100644 blob 48bc810b8b707a619ccc6e5e70477fb36b6db1ee	CommonEditorPreferenceNames.java
100644 blob 1c9f963ea72b8e95a85393dfc88f6d7e29324519	PreferenceManager.java
040000 tree 5dc89add674639b24bb51cfbb2616b74e41c41d5	ui