--- plugins/org.eclipse.ocl.common/src/org/eclipse/ocl/common/internal/preferences/Preference.java.orig 2015-10-07 10:12:05.881013000 +0100
+++ plugins/org.eclipse.ocl.common/src/org/eclipse/ocl/common/internal/preferences/Preference.java 2015-10-07 10:12:56.314114858 +0100
@@ -44,7 +44,7 @@
/**
* @since 1.1
*/
- public synchronized void addListener(@NonNull PreferenceableOption.Listener listener) {
+ public synchronized void addListener(PreferenceableOption.Listener listener) {
if (listeners == null) {
listeners = new ArrayList<PreferenceableOption.Listener>();
OCLCommon.installListener(this);
@@ -101,7 +101,7 @@
/**
* @since 1.1
*/
- public synchronized void removeListener(@NonNull PreferenceableOption.Listener listener) {
+ public synchronized void removeListener(PreferenceableOption.Listener listener) {
if (listeners != null) {
listeners.remove(listener);
}
--- plugins/org.eclipse.ocl.common/META-INF/MANIFEST.MF.orig 2015-10-07 09:56:14.165972104 +0100
+++ plugins/org.eclipse.ocl.common/META-INF/MANIFEST.MF 2015-10-07 10:19:45.383852215 +0100
@@ -4,7 +4,7 @@
Bundle-SymbolicName: org.eclipse.ocl.common;singleton:=true
Bundle-Localization: plugin
Bundle-Version: 1.3.0.qualifier
-Bundle-RequiredExecutionEnvironment: J2SE-1.5
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Export-Package: org.eclipse.ocl.common,
org.eclipse.ocl.common.delegate,
org.eclipse.ocl.common.internal.delegate;
@@ -18,5 +18,6 @@
org.eclipse.ocl.common.internal.preferences,
org.eclipse.ocl.common.preferences
Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.emf.ecore;bundle-version="[2.7.0,3.0.0)";visibility:=reexport
+ org.eclipse.emf.ecore;bundle-version="[2.7.0,3.0.0)";visibility:=reexport,
+ org.eclipse.ocl.jdt.annotation7
Bundle-Vendor: %providerName