100644 blob 76cccac4da613d7f55e1a99f0e6c588c1ae5af5f	EditorPreferenceNames.java
100644 blob 06054fe7dfff031f72d14af26fdf6b86e024ac63	OverlayPreferenceStore.java
100644 blob b1b8903beae1b8d40a5cb85fe2786ad3e4d9820f	TabFolderLayout.java
040000 tree 0c434e6934e1b7d0683c89ad6a8b74f0096a2f40	ui