100644 blob 76cccac4da613d7f55e1a99f0e6c588c1ae5af5f	EditorPreferenceNames.java
100644 blob 16eb14cde7e5cf0bc0c63128e8436c2f0f03fa0e	OverlayPreferenceStore.java
100644 blob b1b8903beae1b8d40a5cb85fe2786ad3e4d9820f	TabFolderLayout.java
040000 tree c56f56d5a06fe4f702b44048e609e8767ddf759f	ui