remove_builder

Description:

public void remove_builder (TreeBuilder builder)

Removes a builder from the tree.

Parameters:

this

A Tree.
builder

A TreeBuilder to remove.