Doc: update
Pump: replace TreeSet with Arrays.sort(), faster sorting.