From 244be8255e3b46729c1ff061b19dad2f2a330143 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 6 Jul 2023 15:02:16 +0200
Subject: [PATCH] Remove Export-Package uses directives from one manifest

This is impractical to maintain. It looks like no other Rodin plugins
specify these directives, so I'm assuming it's safe to remove them.
---
 org.eventb.texteditor.ui/META-INF/MANIFEST.MF | 32 ++-----------------
 1 file changed, 2 insertions(+), 30 deletions(-)

diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index 2c38f24..fd8f8d0 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
-- 
GitLab