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