--- 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
