decided not to use Tree. TreeNode.getHeight() works now