Update vendored DuckDB sources to 716e174217#415

github-actions[bot] merged 1 commit intov1.4-andiumduckdb/duckdb-java:v1.4-andiumfrom

vendoring-v1.4-andiumduckdb/duckdb-java:vendoring-v1.4-andiumCopy head branch name to clipboard