--- old/make/data/characterdata/CharacterDataUndefined.java.template	2018-11-21 09:45:09.967578103 -0600
+++ new/make/data/characterdata/CharacterDataUndefined.java.template	2018-11-21 09:45:09.387597301 -0600
@@ -78,6 +78,18 @@
 		return -1;
     }
 
+    boolean isDigit(int ch) {
+		return false;
+    }
+
+    boolean isLowerCase(int ch) {
+		return false;
+    }
+
+    boolean isUpperCase(int ch) {
+		return false;
+    }
+
     boolean isWhitespace(int ch) {
 		return false;
     }