See JavaTreeBuilder