--- old/make/data/characterdata/CharacterData0E.java.template	2018-12-03 22:20:02.615918704 -0600
+++ new/make/data/characterdata/CharacterData0E.java.template	2018-12-03 22:20:02.015938564 -0600
@@ -217,6 +217,18 @@
         return retval;
     }
 
+    boolean isDigit(int ch) {
+      return getType(ch) == Character.DECIMAL_DIGIT_NUMBER;
+    }
+
+    boolean isLowerCase(int ch) {
+      return getType(ch) == Character.LOWERCASE_LETTER;
+    }
+
+    boolean isUpperCase(int ch) {
+      return getType(ch) == Character.UPPERCASE_LETTER;
+    }
+
     boolean isWhitespace(int ch) {
         int props = getProperties(ch);
         return ((props & $$maskIdentifierInfo) == $$valueJavaWhitespace);