hg: lambda/lambda/jdk: convert to double before division in average()

[mike.duigou at oracle.com]

Changeset: 6cbb5f37e299
Author:    mduigou
Date:      2013-03-27 16:00 -0700
URL:       http://hg.openjdk.java.net/lambda/lambda/jdk/rev/6cbb5f37e299

convert to double before division in average()

! src/share/classes/java/util/IntSummaryStatistics.java