Update EditDist.java