On Fri, 30 Jul 2021 01:38:42 GMT, David Holmes <dholmes at openjdk.org> wrote: > Please use isdigit(next) Good suggestion. Updated. Thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/4926