diff --git a/de.prob.plugin/.classpath b/de.prob.plugin/.classpath
deleted file mode 100644
index eca7bdba8f03f22510b7980a94dbfe10c16c0901..0000000000000000000000000000000000000000
--- a/de.prob.plugin/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-<?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>
diff --git a/de.prob.plugin/.project b/de.prob.plugin/.project
deleted file mode 100644
index a00f814cf6f9966a13b8f02e7e113d88f0085dcd..0000000000000000000000000000000000000000
--- a/de.prob.plugin/.project
+++ /dev/null
@@ -1,28 +0,0 @@
-<?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>
diff --git a/de.prob.plugin/.settings/org.eclipse.core.resources.prefs b/de.prob.plugin/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644
index ba4759a9b15a4161ff7e03fa1cced464efc243d4..0000000000000000000000000000000000000000
--- a/de.prob.plugin/.settings/org.eclipse.core.resources.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Nov 29 16:16:29 CET 2011
-eclipse.preferences.version=1
-encoding/<project>=UTF-8
diff --git a/de.prob.plugin/.settings/org.eclipse.core.runtime.prefs b/de.prob.plugin/.settings/org.eclipse.core.runtime.prefs
deleted file mode 100644
index 2cbb06417bf025fd72d5808a37c78e34a95b5d0e..0000000000000000000000000000000000000000
--- a/de.prob.plugin/.settings/org.eclipse.core.runtime.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Nov 29 16:16:29 CET 2011
-eclipse.preferences.version=1
-line.separator=\n
diff --git a/de.prob.plugin/META-INF/MANIFEST.MF b/de.prob.plugin/META-INF/MANIFEST.MF
deleted file mode 100644
index f002bda1cd1762fee77d25d09b6686d15ae21dca..0000000000000000000000000000000000000000
--- a/de.prob.plugin/META-INF/MANIFEST.MF
+++ /dev/null
@@ -1,8 +0,0 @@
-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
diff --git a/de.prob.plugin/build.properties b/de.prob.plugin/build.properties
deleted file mode 100644
index e3023e14e9992e9d7e6a1a62b122da44d179c756..0000000000000000000000000000000000000000
--- a/de.prob.plugin/build.properties
+++ /dev/null
@@ -1,5 +0,0 @@
-source.. = src/
-output.. = bin/
-bin.includes = META-INF/,\
- .,\
- fragment.xml
diff --git a/de.prob.plugin/fragment.xml b/de.prob.plugin/fragment.xml
deleted file mode 100644
index 96f3d639fde5afb7f0634e9c9e91f03e660dabe6..0000000000000000000000000000000000000000
--- a/de.prob.plugin/fragment.xml
+++ /dev/null
@@ -1,13 +0,0 @@
-<?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>
diff --git a/de.prob.plugin/icons/prob.png b/de.prob.plugin/icons/prob.png
deleted file mode 100644
index 36d5d6278be2e2226de7b9d4d0fc9da720e47f1b..0000000000000000000000000000000000000000
Binary files a/de.prob.plugin/icons/prob.png and /dev/null differ
diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index ea19fd953e9929337018029e5241229b30a8f600..db1089d0c3eb6053f5d099079f0422e1da19bbe2 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -1,8 +1,15 @@
<?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
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 1598487d12cb2a5ed5ff4523929f458e7b874c2f..d090ab96c63bc577186532ef219a5dcff218e10e 100644
--- a/de.prob2.feature/feature.xml
+++ b/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"
diff --git a/settings.gradle b/settings.gradle
index 8093362103c41d6b6a0507854fc9a09cafb71a83..e230fd59b1aa3afb12648febd65e2d9004bafefe 100644
--- a/settings.gradle
+++ b/settings.gradle
@@ -1 +1 @@
-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'