public CharSortedSet keySet() {
   if (keys == null) keys = CharSortedSets.unmodifiable(sortedMap.keySet());
   return (CharSortedSet) keys;
 }
 public CharSortedSet keySet() {
   if (keys == null) keys = CharSortedSets.synchronize(sortedMap.keySet(), sync);
   return (CharSortedSet) keys;
 }