100644 blob 1c27e5673e39682a4a38c7c29ac05fcd0901bd85	CommonEditorPreferenceNames.java
100644 blob 10c4820da5d6dd34979ded0009518ccfb721caac	PreferenceKeyGenerator.java
100644 blob 7acf8b0634b7ab8ace99234df8b8e43da8c15398	PreferenceManager.java
040000 tree 273cb015ec0cf41dfbea5f288da1988cbe6541c3	ui