From dfff84735ca7721170015fb643f83f5841a6990b Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 6 Jul 2023 15:09:52 +0200
Subject: [PATCH] Sort all the dependencies alphabetically

---
 org.eventb.texteditor.feature/feature.xml     | 30 +++++++++----------
 org.eventb.texteditor.parent/pom.xml          |  4 +--
 .../META-INF/MANIFEST.MF                      |  4 +--
 org.eventb.texteditor.ui/META-INF/MANIFEST.MF | 24 +++++++--------
 org.eventb.texttools/META-INF/MANIFEST.MF     | 22 +++++++-------
 5 files changed, 42 insertions(+), 42 deletions(-)

diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 5585d99..09ec8e6 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -158,29 +158,29 @@ Inc. in the United States, other countries, or both.
    </url>
 
    <requires>
-      <import plugin="org.eventb.emf.formulas" version="1.4.0" match="compatible"/>
-      <import plugin="org.eventb.emf.persistence" version="3.1.1" match="compatible"/>
-      <import plugin="org.eventb.ui" version="3.0.0" match="compatible"/>
-      <import plugin="org.eclipse.jface.text" version="3.6.0" match="compatible"/>
+      <import plugin="org.eclipse.core.resources" version="3.8.1" match="compatible"/>
+      <import plugin="org.eclipse.core.runtime" version="3.10.0" match="greaterOrEqual"/>
+      <import plugin="org.eclipse.emf.compare" version="3.1.1" match="greaterOrEqual"/>
+      <import plugin="org.eclipse.emf.compare.edit" version="4.0.0" match="greaterOrEqual"/>
+      <import plugin="org.eclipse.emf.compare.ide" version="3.1.1" match="greaterOrEqual"/>
+      <import plugin="org.eclipse.emf.compare.rcp" version="2.2.0" match="greaterOrEqual"/>
+      <import plugin="org.eclipse.emf.ecore"/>
+      <import plugin="org.eclipse.emf.ecore.xmi" version="2.10.1" match="greaterOrEqual"/>
+      <import plugin="org.eclipse.emf.edit"/>
       <import plugin="org.eclipse.emf.edit.ui" version="2.5.0" match="compatible"/>
-      <import plugin="org.eventb.core.ast" version="3.1.0" match="compatible"/>
+      <import plugin="org.eclipse.jface.text" version="3.6.0" match="compatible"/>
       <import plugin="org.eclipse.ui.editors" version="3.8.0" match="compatible"/>
       <import plugin="org.eclipse.ui.ide" version="3.8.2" match="compatible"/>
       <import plugin="org.eclipse.ui.workbench.texteditor"/>
+      <import plugin="org.eventb.core.ast" version="3.1.0" match="compatible"/>
       <import plugin="org.eventb.emf.core" version="4.0.0"/>
-      <import plugin="org.eclipse.core.runtime" version="3.10.0" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.emf.ecore.xmi" version="2.10.1" match="greaterOrEqual"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.emf.edit"/>
+      <import plugin="org.eventb.emf.formulas" version="1.4.0" match="compatible"/>
+      <import plugin="org.eventb.emf.persistence" version="3.1.1" match="compatible"/>
       <import plugin="org.eventb.texteditor.parsers"/>
+      <import plugin="org.eventb.ui" version="3.0.0" match="compatible"/>
+      <import plugin="org.rodinp.core" version="1.7.0" match="greaterOrEqual"/>
       <import plugin="org.rodinp.keyboard.core" version="2.0.0" match="compatible"/>
       <import plugin="org.rodinp.keyboard.ui" version="2.0.0" match="compatible"/>
-      <import plugin="org.eclipse.core.resources" version="3.8.1" match="compatible"/>
-      <import plugin="org.eclipse.emf.ecore"/>
-      <import plugin="org.eclipse.emf.compare" version="3.1.1" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.emf.compare.edit" version="4.0.0" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.emf.compare.ide" version="3.1.1" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.emf.compare.rcp" version="2.2.0" match="greaterOrEqual"/>
    </requires>
 
    <plugin
diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index edda66e..f3b2032 100644
--- a/org.eventb.texteditor.parent/pom.xml
+++ b/org.eventb.texteditor.parent/pom.xml
@@ -46,9 +46,9 @@
 	<!-- the modules that should be built together -->
 	<modules>
 		<module>../org.eventb.texteditor.feature</module>
+		<module>../org.eventb.texteditor.parsers</module>
+		<module>../org.eventb.texteditor.repository</module>
 		<module>../org.eventb.texteditor.ui</module>
 		<module>../org.eventb.texttools</module>
-		<module>../org.eventb.texteditor.repository</module>
-		<module>../org.eventb.texteditor.parsers</module>
 	</modules>
 </project>
diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index 7f504c2..a12f8a3 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -7,10 +7,10 @@ Bundle-Activator: org.eventb.texteditor.parsers.Activator
 Require-Bundle: org.eclipse.core.runtime
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ClassPath: .,
- lib/guava-14.0.1.jar,
- lib/jsr305-1.3.9.jar,
  lib/bparser-2.4.40.jar,
  lib/eventbstruct-2.4.40.jar,
+ lib/guava-14.0.1.jar,
+ lib/jsr305-1.3.9.jar,
  lib/parserbase-2.4.40.jar,
  lib/prologlib-2.4.40.jar
 Export-Package: com.google.common.annotations,
diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index fd8f8d0..7e780f5 100644
--- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
@@ -5,24 +5,24 @@ Bundle-SymbolicName: org.eventb.texteditor.ui;singleton:=true
 Bundle-Version: 3.5.0.qualifier
 Bundle-Localization: plugin
 Bundle-Activator: org.eventb.texteditor.ui.TextEditorPluginImplementation
-Require-Bundle: org.eventb.texttools;bundle-version="[3.5.0,3.6.0)";visibility:=reexport,
- org.eventb.emf.formulas;bundle-version="[1.4.0,2.0.0)",
- org.eventb.emf.persistence;bundle-version="[3.1.1,4.0.0)";visibility:=reexport,
- org.eventb.ui;bundle-version="[3.0.0,4.0.0)";visibility:=reexport,
- org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)";visibility:=reexport,
+Require-Bundle: org.eclipse.core.resources;bundle-version="3.8.1",
+ org.eclipse.core.runtime;bundle-version="3.10.0",
+ org.eclipse.emf.ecore.xmi;bundle-version="2.10.1",
+ org.eclipse.emf.edit,
  org.eclipse.emf.edit.ui;bundle-version="[2.5.0,3.0.0)",
- org.eventb.core.ast;bundle-version="[3.1.0,4.0.0)",
+ org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)";visibility:=reexport,
  org.eclipse.ui.editors;bundle-version="[3.8.0,4.0.0)",
  org.eclipse.ui.ide;bundle-version="[3.8.2,4.0.0)",
  org.eclipse.ui.workbench.texteditor,
- org.eclipse.core.resources;bundle-version="3.8.1",
- org.eventb.emf.core;bundle-version="[4.0.0,6.0.0)",
- org.eclipse.core.runtime;bundle-version="3.10.0",
- org.eclipse.emf.ecore.xmi;bundle-version="2.10.1",
- org.rodinp.core;bundle-version="1.7.0",
  org.eventb.core;bundle-version="3.1.0",
- org.eclipse.emf.edit,
+ org.eventb.core.ast;bundle-version="[3.1.0,4.0.0)",
+ org.eventb.emf.core;bundle-version="[4.0.0,6.0.0)",
+ org.eventb.emf.formulas;bundle-version="[1.4.0,2.0.0)",
+ org.eventb.emf.persistence;bundle-version="[3.1.1,4.0.0)";visibility:=reexport,
  org.eventb.texteditor.parsers,
+ org.eventb.texttools;bundle-version="[3.5.0,3.6.0)";visibility:=reexport,
+ org.eventb.ui;bundle-version="[3.0.0,4.0.0)";visibility:=reexport,
+ org.rodinp.core;bundle-version="1.7.0",
  org.rodinp.keyboard.core;bundle-version="[2.0.0,3.0.0)",
  org.rodinp.keyboard.ui;bundle-version="[2.0.0,3.0.0)"
 Bundle-ClassPath: .
diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index a3ea8f3..255d10f 100644
--- a/org.eventb.texttools/META-INF/MANIFEST.MF
+++ b/org.eventb.texttools/META-INF/MANIFEST.MF
@@ -4,22 +4,22 @@ Bundle-Name: Event-B EMF Texttools
 Bundle-SymbolicName: org.eventb.texttools;singleton:=true
 Bundle-Version: 3.5.0.qualifier
 Bundle-Activator: org.eventb.texttools.TextToolsPlugin
-Require-Bundle: org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)",
- org.eventb.emf.formulas;bundle-version="[1.4.0,2.0.0)",
- org.eventb.emf.persistence;bundle-version="[3.1.1,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.1.0,4.0.0)",
- org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
- org.eclipse.emf.ecore,
- org.eventb.texteditor.parsers,
+Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
  org.eclipse.core.runtime;bundle-version="3.10.0",
- org.eventb.emf.core;bundle-version="[4.0.0,6.0.0)",
- org.rodinp.core;bundle-version="1.7.0",
- org.eclipse.emf.compare;bundle-version="3.4.0",
  org.eclipse.emf.compare.edit;bundle-version="4.0.0",
  org.eclipse.emf.compare.ide;bundle-version="3.1.1",
  org.eclipse.emf.compare.rcp;bundle-version="2.2.0",
+ org.eclipse.emf.compare;bundle-version="3.4.0",
+ org.eclipse.emf.ecore,
  org.eclipse.emf.ecore.xmi;bundle-version="2.10.1",
- org.eventb.core;bundle-version="[3.1.0,4.0.0)"
+ org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.1.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.1.0,4.0.0)",
+ org.eventb.emf.core;bundle-version="[4.0.0,6.0.0)",
+ org.eventb.emf.formulas;bundle-version="[1.4.0,2.0.0)",
+ org.eventb.emf.persistence;bundle-version="[3.1.1,4.0.0)",
+ org.eventb.texteditor.parsers,
+ org.rodinp.core;bundle-version="1.7.0"
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Bundle-ClassPath: .
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
-- 
GitLab