Fix compilation error due unresolved org.eclipse.jdt.annotation

See eclipse-pde/eclipse.pde#1424
iloveeclipse · Sep 30, 2024 · f030e04 · f030e04
1 parent 8a8979f
commit f030e04
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/bundles/org.eclipse.ui.editors/META-INF/MANIFEST.MF b/bundles/org.eclipse.ui.editors/META-INF/MANIFEST.MF
@@ -28,6 +28,6 @@ Require-Bundle:
  org.eclipse.core.filebuffers;bundle-version="[3.8.0,4.0.0)";visibility:=reexport,
  org.eclipse.core.resources;bundle-version="[3.19.0,4.0.0)",
  org.eclipse.core.filesystem;bundle-version="[1.10.0,2.0.0)",
- org.eclipse.jdt.annotation;bundle-version="2.3";resolution:=optional
+ org.eclipse.jdt.annotation;bundle-version="2.3.0";resolution:=optional
 Bundle-RequiredExecutionEnvironment: JavaSE-17
 Automatic-Module-Name: org.eclipse.ui.editors
diff --git a/bundles/org.eclipse.ui.editors/build.properties b/bundles/org.eclipse.ui.editors/build.properties
@@ -24,3 +24,4 @@ src.includes = about.html,\
 source.. = src/
 
 output.. = bin/
+jars.extra.classpath=platform:/plugin/org.eclipse.jdt.annotation