--- dist/configure.orig 2023-02-28 12:05:00 +++ dist/configure 2023-02-28 12:10:49 @@ -16915,7 +16915,7 @@ { $as_echo "$as_me:${as_lineno-$LINENO}: result: $JAVA_VERSION" >&5 $as_echo "$JAVA_VERSION" >&6; } case "$JAVA_VERSION" in - 1.[3456789]* | 1.[1-9][0-9]* | [23456789]* ) ;; + 1.[3456789]* | 1.[1-9][0-9]* | [23456789]* | 1[0-9]* ) ;; * ) as_fn_error "Java version 1.3 or higher required, got $JAVA_VERSION" "$LINENO" 5 ;; esac