2017-03-14 16:47:52,097 INFO  [default] reading "/home/bredelings/Devel/OpenTree/otcetera/master/data/is-naming/tree2.tre"...
2017-03-14 16:47:52,097 INFO  [default] reading "/home/bredelings/Devel/OpenTree/otcetera/master/data/is-naming/tax2.tre"...
