100644 blob 1c27e5673e39682a4a38c7c29ac05fcd0901bd85	CommonEditorPreferenceNames.java
100644 blob 10c4820da5d6dd34979ded0009518ccfb721caac	PreferenceKeyGenerator.java
100644 blob 1c9f963ea72b8e95a85393dfc88f6d7e29324519	PreferenceManager.java
040000 tree 0fc2edc0f32e47322c3ad1a50a21dad79a19adbc	ui