Ignore case in editDistance()

bug: 3278422

Change-Id: Ibd20488dcec215038970749b181857527311947b
diff --git a/java/src/com/android/inputmethod/latin/Utils.java b/java/src/com/android/inputmethod/latin/Utils.java
index 0adca0d..92b9904 100644
--- a/java/src/com/android/inputmethod/latin/Utils.java
+++ b/java/src/com/android/inputmethod/latin/Utils.java
@@ -206,7 +206,7 @@
         }
         for (int i = 0; i < sl; ++i) {
             for (int j = 0; j < tl; ++j) {
-                if (s.charAt(i) == t.charAt(j)) {
+                if (Character.toLowerCase(s.charAt(i)) == Character.toLowerCase(t.charAt(j))) {
                     dp[i + 1][j + 1] = dp[i][j];
                 } else {
                     dp[i + 1][j + 1] = 1 + Math.min(dp[i][j],