Changed name of HTMLTreeGUI to treeview