--- old/make/data/characterdata/CharacterDataPrivateUse.java.template 2018-12-03 22:20:04.795846546 -0600 +++ new/make/data/characterdata/CharacterDataPrivateUse.java.template 2018-12-03 22:20:04.195866406 -0600 @@ -80,6 +80,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; }