use Navigable instead of Tree Set