static Pair higherPair(NavigableMap map, A key) { if (map == null) null; var e = map.higherEntry(key); ret mapEntryToPair(e); }