add ExternalableTreeSet