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