Merge toolbox.js into fein_tree.js