Update editdist.java