Changes

#3992: Bump org.jline:jline from 4.1.0 to 4.1.3

Bumps [org.jline:jline](https://github.com/jline/jline3) from 4.1.0 to 4.1.3.
- [Release notes](https://github.com/jline/jline3/releases)
- [Commits](https://github.com/jline/jline3/compare/4.1.0...4.1.3)

---
updated-dependencies:
- dependency-name: org.jline:jline
  dependency-version: 4.1.3
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
(commit: c6ab821)