--- 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