Hacker News Reader

Last time I looked at the source for Java's dual pivot quicksort implementation, it used exactly this for 7 elements or fewer

Yes, and qsort does similar (different algorithms for different array sizes but the same function interface).