public static String getTokenPreferenceKey(Keyword token) { return CCW_PREFERENCE_PREFIX + "." + EDITOR_COLORING_PREFIX + "." + token.getName(); // $NON-NLS-1$ }