public interface JungleTree { JungleTreeEditor getTreeEditor(); JungleTreeEditor getLocalTreeEditor(); TreeNode getRootNode(); long revision(); Either getOldTree(long revision); TreeMap>> getIndex(); // InterfaceTraverser getTraverser(bool useIndex); Either getNodeOfPath(NodePath path); void setBufferSize(int _bufferSize); }