code: public JCTree getTree(Element e) {
          Pair<JCTree, ?> treeTop = getTreeAndTopLevel(e);
          return (treeTop != null) ? treeTop.fst : null;
      }
docs: Returns the tree node corresponding to this element, or null
  if none can be found.