Copyright/license notice on TSTree.hx