From 3dc7df7256a5fa6d6623c4cb9237549f6c868ca5 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 22 Dec 2023 10:14:47 +0000
Subject: [PATCH] Bump org.eclipse.jdt:org.eclipse.jdt.annotation from 2.2.700
 to 2.2.800

Bumps [org.eclipse.jdt:org.eclipse.jdt.annotation](https://github.com/eclipse-jdt/eclipse.jdt.core) from 2.2.700 to 2.2.800.
- [Commits](https://github.com/eclipse-jdt/eclipse.jdt.core/commits)

---
updated-dependencies:
- dependency-name: org.eclipse.jdt:org.eclipse.jdt.annotation
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 9d9d7ab3e..f701fdb11 100644
--- a/pom.xml
+++ b/pom.xml
@@ -75,7 +75,7 @@
 
         <version.archunit>1.2.0</version.archunit>
         <version.commons-lang3>3.14.0</version.commons-lang3>
-        <version.eclipse-annotation>2.2.700</version.eclipse-annotation>
+        <version.eclipse-annotation>2.2.800</version.eclipse-annotation>
         <version.equalsverifier-signedjar-test>0.2</version.equalsverifier-signedjar-test>
         <version.guava>32.1.3-jre</version.guava>
         <version.hamcrest>2.2</version.hamcrest>