(ServerProvider o1, ServerProvider o2)
| 80 | // sort() must be stable, as we prefer first-registered providers |
| 81 | Collections.sort(providers, Collections.reverseOrder(new Comparator<ServerProvider>() { |
| 82 | @Override |
| 83 | public int compare(ServerProvider o1, ServerProvider o2) { |
| 84 | return o1.priority() - o2.priority(); |
| 85 | } |
| 86 | })); |
| 87 | effectiveProviders = Collections.unmodifiableList(providers); |
| 88 | } |