Run the IExternalDSEExtensionService on startup

Issue-Ref: 4030
Issue-Url: https://af3-developer.fortiss.org/issues/4030



Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings

 ApplicationActionBarAdvisor.java 881198ff05ab14110efef1673f0914725348442b GREEN
-ApplicationWorkbenchAdvisor.java 587d7efc234d68e8bac6540c8cafabca113757d8 GREEN
+ApplicationWorkbenchAdvisor.java 130a7b352ee182ad5d3703fac3478942cc0e8608 YELLOW
 ApplicationWorkbenchWindowAdvisor.java da5cb38300b384579532c678fbc9faa961c2ca6b GREEN

org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/ApplicationWorkbenchAdvisor.java

@@ -29,6 +29,7 @@ import org.fortiss.af3.allocation.IAllocationService;
 import org.fortiss.af3.exploration.service.IDSEBackendService;
 import org.fortiss.af3.exploration.smt.backend.Z3Backend;
 import org.fortiss.af3.exploration.ui.AF3ExplorationUIActivator;
+import org.fortiss.af3.exploration.ui.perspective.service.IExternalDSEExtensionService;
 import org.fortiss.af3.project.AF3Project;
 import org.fortiss.af3.timing.ITimingSpecificationService;
 import org.fortiss.tooling.base.ToolingBase;
@@ -72,6 +73,7 @@ public class ApplicationWorkbenchAdvisor extends WorkbenchAdvisor {
 		IAllocationService.getInstance().startService();
 		ITimingSpecificationService.getInstance().startService();
 		IDSEBackendService.getInstance().startService();
+		IExternalDSEExtensionService.getInstance().startService();
 
 		// The CLI handlers must be executed last such that all services are available.
 		ICommandLineInterfaceService.getInstance().executeHandlers();
@@ -89,6 +91,7 @@ public class ApplicationWorkbenchAdvisor extends WorkbenchAdvisor {
 		IDSEBackendService dbs = IDSEBackendService.getInstance();
 		dbs.initializeService();
 		dbs.registerDSEBackend(new Z3Backend());
+		IExternalDSEExtensionService.getInstance().initializeService();
 	}
 
 	/** {@inheritDoc} */