Update Statistics.java

cast int to double