Fixed RMI test failing on Linux (issue #38)
Merge branch 'master' into unique-non-unique-trees