Bump org.jetbrains:annotations from 15.0 to 25.0.0 (#2850)

Bumps
[org.jetbrains:annotations](https://github.com/JetBrains/java-annotations)
from 15.0 to 25.0.0.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/JetBrains/java-annotations/releases">org.jetbrains:annotations's
releases</a>.</em></p>
<blockquote>
<h2>25.0.0</h2>
<ul>
<li>Added Kotlin Multiplatform artifact
(multiplatform-annotations).</li>
<li>Removed Java 5 artifact.</li>
</ul>
<h2>24.1.0</h2>
<ul>
<li><code>@CheckReturnValue</code> is not experimental anymore.</li>
</ul>
<h2>24.0.1</h2>
<ul>
<li>Added <code>@documented</code> annotation where it would be
useful.</li>
</ul>
<h2>24.0.0</h2>
<ul>
<li>Added new annotation: <code>@CheckReturnValue</code></li>
</ul>
<h2>23.1.0</h2>
<ul>
<li>Added new annotation: <code>@ApiStatus.Obsolete</code></li>
</ul>
<h2>23.0.0</h2>
<ul>
<li>Added new annotations: <code>@BlockingExecutor</code> and
<code>@NonBlockingExecutor</code>.</li>
</ul>
<h2>22.0.0</h2>
<ul>
<li>Added new annotations: <code>@Blocking</code> and
<code>@nonblocking</code>.</li>
</ul>
<h2>21.0.1</h2>
<ul>
<li>Multi-Release Jar: Manifest fixed</li>
</ul>
<h2>21.0.0</h2>
<ul>
<li>Added new annotation: <code>@UnknownNullability</code>.</li>
<li>Proper JPMS module.</li>
</ul>
<h2>20.1.0</h2>
<ul>
<li>Added <code>TYPE_USE</code> target for <code>PropertyKey</code>
annotation.</li>
</ul>
<h2>20.0.0</h2>
<ul>
<li>Added new annotation: <code>@MustBeInvokedByOverriders</code>.</li>
<li>Added new annotation: <code>@VisibleForTesting</code>.</li>
<li>Added <code>TYPE_USE</code> target for <code>NonNls</code>
annotation.</li>
<li>String attributes of annotations are marked as <code>@NonNls</code>
where applicable.</li>
<li>Documentation for <code>@nls</code> and <code>@NonNls</code>
updated: now they could be used as meta-annotations.</li>
<li>Documentation added for <code>@subst</code> annotation.</li>
</ul>
<h2>19.0.0</h2>
<ul>
<li>Added new annotations: <code>@Unmodifiable</code> and
<code>@UnmodifiableView</code>.</li>
<li>Added <code>TYPE_USE</code> target for <code>Nls</code>
annotation.</li>
<li>Improved the documentation for <code>@language</code>,
<code>@pattern</code>, <code>@regexp</code>, and
<code>@ApiStatus.Internal</code> annotations.</li>
<li>Fixed <code>Automatic-Module-Name</code> for Java 5.</li>
</ul>
<h2>18.0.0</h2>
<ul>
<li>Added new annotation family <code>@ApiStatus.*</code></li>
<li>Added new annotation <code>@Debug.Renderer</code></li>
</ul>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a
href="https://github.com/JetBrains/java-annotations/blob/master/CHANGELOG.md">org.jetbrains:annotations's
changelog</a>.</em></p>
<blockquote>
<h2>Version 25.0.0</h2>
<ul>
<li>Added Kotlin Multiplatform artifact
(multiplatform-annotations).</li>
<li>Removed Java 5 artifact.</li>
</ul>
<h2>Version 24.1.0</h2>
<ul>
<li><code>@CheckReturnValue</code> is not experimental anymore.</li>
</ul>
<h2>Version 24.0.1</h2>
<ul>
<li>Added <code>@documented</code> annotation where it would be
useful.</li>
</ul>
<h2>Version 24.0.0</h2>
<ul>
<li>Added new annotation: <code>@CheckReturnValue</code>.</li>
</ul>
<h2>Version 23.1.0</h2>
<ul>
<li>Added new annotation: <code>@ApiStatus.Obsolete</code>.</li>
</ul>
<h2>Version 23.0.0</h2>
<ul>
<li>Added new annotations: <code>@BlockingExecutor</code> and
<code>@NonBlockingExecutor</code>.</li>
</ul>
<h2>Version 22.0.0</h2>
<ul>
<li>Added new annotations: <code>@Blocking</code> and
<code>@nonblocking</code>.</li>
</ul>
<h2>Version 21.0.1</h2>
<ul>
<li>Multi-Release Jar: Manifest fixed</li>
</ul>
<h2>Version 21.0.0</h2>
<ul>
<li>Added new annotation: <code>@UnknownNullability</code>.</li>
<li>Proper JPMS module.</li>
<li><code>JdkConstants</code> deprecated.</li>
</ul>
<h2>Version 20.1.0</h2>
<ul>
<li>Added <code>TYPE_USE</code> target for <code>PropertyKey</code>
annotation.</li>
</ul>
<h2>Version 20.0.0</h2>
<ul>
<li>Added new annotation: <code>@MustBeInvokedByOverriders</code>.</li>
<li>Added new annotation: <code>@VisibleForTesting</code>.</li>
<li>Added <code>TYPE_USE</code> target for <code>NonNls</code>
annotation.</li>
<li>String attributes of annotations are marked as <code>@NonNls</code>
where applicable.</li>
<li>Documentation for <code>@nls</code> and <code>@NonNls</code>
updated: now they could be used as meta-annotations.</li>
</ul>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li>See full diff in <a
href="https://github.com/JetBrains/java-annotations/commits/25.0.0">compare
view</a></li>
</ul>
</details>
<br />


[![Dependabot compatibility
score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=org.jetbrains:annotations&package-manager=maven&previous-version=15.0&new-version=25.0.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)

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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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 show <dependency name> ignore conditions` will show all
of the ignore conditions of the specified dependency
- `@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)


</details>

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

Author: dependabot[bot]

vavr-benchmark/pom.xml

@@ -62,7 +62,7 @@
         <dependency>
             <groupId>org.jetbrains</groupId>
             <artifactId>annotations</artifactId>
-            <version>15.0</version>
+            <version>25.0.0</version>
         </dependency>
         <dependency>
             <groupId>org.junit.jupiter</groupId>