Average Case Analysis of Java7's Dual Pivot Quicksort