lawtree.js updated for rename
Merge branch 'GitHub/Julian'