adds PercolationStats.java