Modification jajascript NavigableSet