Remove de.prob.plugin fragment and combine it into de.prob.ui

de.prob.plugin/.classpath

-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
-	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
-	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="output" path="bin"/>
-</classpath>

de.prob.plugin/.project

-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>de.prob.plugin</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.jdt.core.javabuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-		<buildCommand>
-			<name>org.eclipse.pde.ManifestBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-		<buildCommand>
-			<name>org.eclipse.pde.SchemaBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.pde.PluginNature</nature>
-		<nature>org.eclipse.jdt.core.javanature</nature>
-	</natures>
-</projectDescription>

de.prob.plugin/.settings/org.eclipse.core.resources.prefs

-#Tue Nov 29 16:16:29 CET 2011
-eclipse.preferences.version=1
-encoding/<project>=UTF-8

de.prob.plugin/.settings/org.eclipse.core.runtime.prefs

-#Tue Nov 29 16:16:29 CET 2011
-eclipse.preferences.version=1
-line.separator=\n

de.prob.plugin/META-INF/MANIFEST.MF

-Manifest-Version: 1.0
-Bundle-ManifestVersion: 2
-Bundle-Name: ProB Rodin2 UI Bindings
-Bundle-SymbolicName: de.prob.plugin;singleton:=true
-Bundle-Version: 2.4.2.qualifier
-Fragment-Host: de.prob.ui;bundle-version="[7.5.2,7.6.0)"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
-Bundle-Vendor: HHU Düsseldorf STUPS Group

de.prob.plugin/build.properties

-source.. = src/
-output.. = bin/
-bin.includes = META-INF/,\
-               .,\
-               fragment.xml

de.prob.plugin/fragment.xml

-<?xml version="1.0" encoding="UTF-8"?>
-<?eclipse version="3.4"?>
-<fragment>
-   <extension
-         point="org.eclipse.ui.perspectives">
-      <perspective
-            class="de.prob.ui.PerspectiveFactory"
-            icon="icons/prob.png"
-            id="de.prob.ui.perspective"
-            name="ProB"> 
-      </perspective>
-   </extension>
-</fragment>

de.prob.ui/plugin.xml

 <?xml version="1.0" encoding="UTF-8"?>
 <?eclipse version="3.2"?>
 <plugin>
- 
-
+   <extension
+         point="org.eclipse.ui.perspectives">
+      <perspective
+            class="de.prob.ui.PerspectiveFactory"
+            icon="icons/prob.png"
+            id="de.prob.ui.perspective"
+            name="ProB"> 
+      </perspective>
+   </extension>
    <extension
          point="org.eclipse.ui.preferencePages">
       <page

de.prob2.feature/feature.xml

@@ -267,14 +267,6 @@ litigation.
          install-size="0"
          version="0.0.0"/>
 
-   <plugin
-         id="de.prob.plugin"
-         download-size="0"
-         install-size="0"
-         version="0.0.0"
-         fragment="true"
-         unpack="false"/>
-
    <plugin
          id="de.prob.ui"
          download-size="0"

settings.gradle

-include 'de.prob.core', 'de.prob.core.tests', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin' , 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.symbolic', 'de.prob2.symbolic.feature', 'de.prob.eventb.disprover.core', 'de.prob.eventb.disprover.ui', 'de.prob2.disprover.feature'
+include 'de.prob.core', 'de.prob.core.tests', 'de.bmotionstudio.gef.editor', 'de.bmotionstudio.rodin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.symbolic', 'de.prob2.symbolic.feature', 'de.prob.eventb.disprover.core', 'de.prob.eventb.disprover.ui', 'de.prob2.disprover.feature'