Dual-pivot quicksort revisited: here's a better quicksort (forums.sun.com)