code: public <T extends JCTree> List<T> translate(List<T> trees) {
          if (trees == null) return null;
          for (List<T> l = trees; l.nonEmpty(); l = l.tail)
              l.head = translate(l.head);
          return trees;
      }
docs: Visitor method: translate a list of nodes.