Minor changes.
Working through bugs...
Cost of relabeling wasn't implemented - all nodes were treated as though they are distinct.
Added a traverse() method which stores all tree labels in postorder in an ArrayList.
Algorithm works correctly (as tested on 3 pairs of trees)\!