Fix #8104 - update nav tree by comparing changes
[roobuilder] / COPYING
2016-06-13 Alan Knowlesinitialize with copy of old builder