code: public List<Symbol> getAllSymbolsSorted() {
      List<Symbol> sortedSymbols = getNaturalSymbolOrdering().sortedCopy(symbols.values());
      return sortedSymbols;
    }
docs: Get the symbols in their natural ordering. Always returns a mutable list.