}
void getBinaryTree(BinaryTree tree) {
tree.setValue(new RBTKeyValuePair(this.key, this.element));
if (this.left != null) {
BinaryTree newLeft = tree.newLeftDtr();
this.left.getBinaryTree(newLeft);
}
if (this.right != null) {
BinaryTree newRight = tree.newRightDtr();
this.right.getBinaryTree(newRight);
}
}