101102103104105106107108
protected void leaveNode(IElement node) { } }.traverse(coloringOptionsList); overlayPreferenceStore = new OverlayPreferenceStore(store, prefKeys); overlayPreferenceStore.load(); }