Bump rewrite-migrate-java from 1.12.0 to 1.13.0

[dependabot[bot]]

Bumps rewrite-migrate-java from 1.12.0 to 1.13.0.

Release notes

Sourced from rewrite-migrate-java's releases.

1.13.0

What's Changed

• Updated to use rewrite 7.31.0
• Add recipe to upgrade to Java 17, which also upgrades from 8 to 11 first by @​timtebeek in #128
• Replace !Optional.isPresent() with Optional.isEmpty() on Java 11+ by @​timtebeek in #130
• Add OptionalNotEmptyToIsPresent as inverse of #130 by @​timtebeek in #132
• chore: suppress jackson-databind by @​natedanner in #133
• JDeprScan release 17 by @​timtebeek in #127

New Contributors

• @​natedanner made their first contribution in #133

Full Changelog: https://github.com/openrewrite/rewrite-migrate-java/compare/v1.12.0...v1.13.0

Commits

• c364748 JDeprScan release 17 (#127)
• e7a5623 chore: suppress jackson-databind (#133)
• 45569f9 Add OptionalNotEmptyToIsPresent as inverse of #130 (#132)
• d805cb7 polish OptionalNotPresentToIsEmpty
• 767d48d Replace !Optional.isPresent() with Optional.isEmpty() on Java 11+ (#130)
• 7baf264 Add recipe to upgrade to Java 17, which also upgrades from 8 to 11 first (#128)
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)