fix Percolation.java