- feed our option names into the java model so these options will be processed, too.
- avoid performance issues caused by nested teams with temporary activation.
this slightly deviates from the behavior of the original patch, though.
- fixed an NPE regarding a method binding
diff --git a/plugins/org.eclipse.objectteams.jdt.nullity/META-INF/MANIFEST.MF b/plugins/org.eclipse.objectteams.jdt.nullity/META-INF/MANIFEST.MF
index ea5100d..d63f7e0 100644
--- a/plugins/org.eclipse.objectteams.jdt.nullity/META-INF/MANIFEST.MF
+++ b/plugins/org.eclipse.objectteams.jdt.nullity/META-INF/MANIFEST.MF
@@ -7,7 +7,8 @@
Bundle-Vendor: Eclipse Object Teams Project
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.objectteams.otequinox,
- org.eclipse.jdt.core;bundle-version="3.7.0"
+ org.eclipse.jdt.core;bundle-version="3.7.0",
+ org.eclipse.core.resources;bundle-version="3.7.0"
Bundle-RequiredExecutionEnvironment: J2SE-1.5
Bundle-ActivationPolicy: lazy
Export-Package: org.eclipse.objectteams.internal.jdt.nullity;x-friends:="org.eclipse.objectteams.jdt.nullity.tests"