Update RecordTree.java