Change in Tree.java in display_path()