minor adjustments to mytree.java