diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF index 2c38f24c743629b34218952544ef1affc959f07e..fd8f8d0d4fdfe33fa1175ed653cfe05221963576 100644 --- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF +++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF @@ -27,37 +27,9 @@ Require-Bundle: org.eventb.texttools;bundle-version="[3.5.0,3.6.0)";visibility:= org.rodinp.keyboard.ui;bundle-version="[2.0.0,3.0.0)" Bundle-ClassPath: . Bundle-Vendor: Heinrich-Heine University Dusseldorf -Export-Package: org.eventb.texteditor.ui; - uses:="org.eventb.texteditor.ui.build.dom, - org.eclipse.swt.graphics, - org.eclipse.emf.common.ui, - org.eclipse.ui.editors.text.templates, - org.eclipse.emf.common, - org.eclipse.ui, - org.eclipse.emf.common.util, - org.eclipse.jface.resource, - org.eclipse.core.resources, - org.eclipse.emf.ecore.resource, - org.eclipse.emf.edit.ui.util, - org.eclipse.jface.text.rules", +Export-Package: org.eventb.texteditor.ui, org.eventb.texteditor.ui.build, org.eventb.texteditor.ui.build.dom, - org.eventb.texteditor.ui.editor; - uses:="org.eclipse.ui.editors.text, - org.eclipse.jface.text.source, - org.eclipse.jface.text, - org.eclipse.ui.ide, - org.eclipse.core.runtime.jobs, - org.eclipse.jface.text.contentassist, - org.eclipse.ui, - org.eclipse.ui.texteditor, - org.eclipse.core.runtime, - org.eclipse.jface.text.reconciler, - org.eclipse.jface.text.presentation, - org.eclipse.swt.custom, - org.eclipse.jface.preference, - org.eclipse.emf.ecore.resource, - org.eclipse.core.resources, - org.eclipse.emf.edit.domain" + org.eventb.texteditor.ui.editor Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Bundle-ActivationPolicy: lazy