Minor change to launch config.

Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

org.fortiss.af3.rcp.application/run-configs/practical.course.product.linux64.launch

@@ -26,7 +26,7 @@
 <stringAttribute key="product" value="org.fortiss.af3.rcp.application.product"/>
 <stringAttribute key="productFile" value="/org.fortiss.af3.phoenix.product.top/af3_phoenix.product"/>
 <stringAttribute key="selected_target_plugins" value="com.ibm.icu@default:default,javax.annotation@default:default,javax.el@default:default,javax.inject@default:default,javax.servlet.jsp@default:default,javax.servlet@default:default,javax.xml@default:default,org.apache.batik.css@default:default,org.apache.batik.util.gui@default:default,org.apache.batik.util@default:default,org.apache.commons.logging@default:default,org.apache.jasper.glassfish@default:default,org.apache.log4j@default:default,org.apache.lucene.analysis@default:default,org.apache.lucene.core*3.5.0.v20120725-1805@default:default,org.apache.lucene.misc@default:default,org.apache.lucene.queries@default:default,org.apache.lucene@default:default,org.eclipse.ant.core@default:default,org.eclipse.compare.core@default:default,org.eclipse.compare@default:default,org.eclipse.core.commands@default:default,org.eclipse.core.contenttype@default:default,org.eclipse.core.databinding.beans@default:default,org.eclipse.core.databinding.observable@default:default,org.eclipse.core.databinding.property@default:default,org.eclipse.core.databinding@default:default,org.eclipse.core.expressions@default:default,org.eclipse.core.filebuffers@default:default,org.eclipse.core.filesystem.linux.x86_64@default:false,org.eclipse.core.filesystem@default:default,org.eclipse.core.jobs@default:default,org.eclipse.core.net.linux.x86_64@default:false,org.eclipse.core.net@default:default,org.eclipse.core.resources@default:default,org.eclipse.core.runtime.compatibility.registry@default:false,org.eclipse.core.runtime@default:true,org.eclipse.core.variables@default:default,org.eclipse.draw2d@default:default,org.eclipse.e4.core.commands@default:default,org.eclipse.e4.core.contexts@default:default,org.eclipse.e4.core.di.extensions@default:default,org.eclipse.e4.core.di@default:default,org.eclipse.e4.core.services@default:default,org.eclipse.e4.ui.bindings@default:default,org.eclipse.e4.ui.css.core@default:default,org.eclipse.e4.ui.css.swt.theme@default:default,org.eclipse.e4.ui.css.swt@default:default,org.eclipse.e4.ui.di@default:default,org.eclipse.e4.ui.model.workbench@default:default,org.eclipse.e4.ui.services@default:default,org.eclipse.e4.ui.widgets@default:default,org.eclipse.e4.ui.workbench.addons.swt@default:default,org.eclipse.e4.ui.workbench.renderers.swt@default:default,org.eclipse.e4.ui.workbench.swt@default:default,org.eclipse.e4.ui.workbench3@default:default,org.eclipse.e4.ui.workbench@default:default,org.eclipse.ecf.filetransfer@default:default,org.eclipse.ecf.identity@default:default,org.eclipse.ecf.provider.filetransfer.ssl@default:false,org.eclipse.ecf.provider.filetransfer@default:default,org.eclipse.ecf.ssl@default:false,org.eclipse.ecf@default:default,org.eclipse.emf.cdo.ecore.retrofit@default:false,org.eclipse.emf.common@default:default,org.eclipse.emf.databinding@default:default,org.eclipse.emf.ecore.change@default:default,org.eclipse.emf.ecore.xmi@default:default,org.eclipse.emf.ecore@default:default,org.eclipse.emf.edit@default:default,org.eclipse.emf.transaction@default:default,org.eclipse.emf.validation@default:default,org.eclipse.emf@default:default,org.eclipse.equinox.app@default:default,org.eclipse.equinox.bidi@default:default,org.eclipse.equinox.common@2:true,org.eclipse.equinox.concurrent@default:default,org.eclipse.equinox.ds@1:true,org.eclipse.equinox.event@default:default,org.eclipse.equinox.http.jetty@default:default,org.eclipse.equinox.http.registry@default:default,org.eclipse.equinox.http.servlet@default:default,org.eclipse.equinox.jsp.jasper.registry@default:default,org.eclipse.equinox.jsp.jasper@default:default,org.eclipse.equinox.launcher.gtk.linux.x86_64@default:false,org.eclipse.equinox.launcher@default:default,org.eclipse.equinox.p2.core@default:default,org.eclipse.equinox.p2.director@default:default,org.eclipse.equinox.p2.engine@default:default,org.eclipse.equinox.p2.metadata.repository@default:default,org.eclipse.equinox.p2.metadata@default:default,org.eclipse.equinox.p2.repository@default:default,org.eclipse.equinox.preferences@default:default,org.eclipse.equinox.registry@default:default,org.eclipse.equinox.security@default:default,org.eclipse.equinox.simpleconfigurator@1:true,org.eclipse.equinox.util@default:default,org.eclipse.fx.javafx@default:default,org.eclipse.fx.osgi@default:false,org.eclipse.fx.ui.workbench3@default:default,org.eclipse.gef@default:default,org.eclipse.help.base@default:default,org.eclipse.help.ui@default:default,org.eclipse.help.webapp@default:default,org.eclipse.help@default:default,org.eclipse.jdt.junit.runtime@default:default,org.eclipse.jdt.junit4.runtime@default:default,org.eclipse.jetty.continuation@default:default,org.eclipse.jetty.http@default:default,org.eclipse.jetty.io@default:default,org.eclipse.jetty.security@default:default,org.eclipse.jetty.server@default:default,org.eclipse.jetty.servlet@default:default,org.eclipse.jetty.util@default:default,org.eclipse.jface.databinding@default:default,org.eclipse.jface.text@default:default,org.eclipse.jface@default:default,org.eclipse.nebula.widgets.grid@default:default,org.eclipse.osgi.services@default:default,org.eclipse.osgi@-1:true,org.eclipse.swt.gtk.linux.x86_64@default:false,org.eclipse.swt@default:default,org.eclipse.swtbot.eclipse.core@default:default,org.eclipse.swtbot.eclipse.finder@default:default,org.eclipse.swtbot.forms.finder@default:default,org.eclipse.swtbot.junit4_x@default:default,org.eclipse.swtbot.swt.finder@default:default,org.eclipse.team.core@default:default,org.eclipse.text@default:default,org.eclipse.ui.editors@default:default,org.eclipse.ui.forms@default:default,org.eclipse.ui.ide.application@default:default,org.eclipse.ui.ide@default:default,org.eclipse.ui.intro.universal@default:default,org.eclipse.ui.intro@default:default,org.eclipse.ui.views.properties.tabbed@default:default,org.eclipse.ui.views@default:default,org.eclipse.ui.workbench.texteditor@default:default,org.eclipse.ui.workbench@default:default,org.eclipse.ui@default:default,org.eclipse.update.configurator@3:true,org.eclipse.xtext.logging@default:false,org.hamcrest.core@default:default,org.hamcrest.library@default:default,org.junit*4.11.0.v201303080030@default:default,org.sat4j.core@default:default,org.sat4j.pb@default:default,org.slf4j.api@default:default,org.slf4j.impl.log4j12@default:false,org.w3c.css.sac@default:default,org.w3c.dom.events@default:default,org.w3c.dom.smil*1.0.1.v200903091627@default:default,org.w3c.dom.svg@default:default"/>
-<stringAttribute key="selected_workspace_plugins" value="com.microsoft.z3@default:default,org.fortiss.af3.allocation.ui@default:default,org.fortiss.af3.allocation@default:default,org.fortiss.af3.component.ui@default:default,org.fortiss.af3.component@default:default,org.fortiss.af3.cosimulation.ui@default:default,org.fortiss.af3.cosimulation@default:default,org.fortiss.af3.deployment.ui@default:default,org.fortiss.af3.deployment@default:default,org.fortiss.af3.expression.ui@default:default,org.fortiss.af3.expression@default:default,org.fortiss.af3.generator.common@default:default,org.fortiss.af3.mira.ui@default:default,org.fortiss.af3.mira@default:default,org.fortiss.af3.mode.ui@default:default,org.fortiss.af3.mode@default:default,org.fortiss.af3.msc@default:default,org.fortiss.af3.ocra@default:default,org.fortiss.af3.operatorpanel.ui@default:default,org.fortiss.af3.operatorpanel@default:default,org.fortiss.af3.platform.raspberry.ui@default:default,org.fortiss.af3.platform.raspberry@default:default,org.fortiss.af3.platform.ui@default:default,org.fortiss.af3.platform@default:default,org.fortiss.af3.project.ui@default:default,org.fortiss.af3.project@default:default,org.fortiss.af3.rcp.application@default:default,org.fortiss.af3.refinement@default:default,org.fortiss.af3.safety.ui@default:default,org.fortiss.af3.safety@default:default,org.fortiss.af3.schedule.ui@default:default,org.fortiss.af3.schedule@default:default,org.fortiss.af3.specification@default:default,org.fortiss.af3.state.ui@default:default,org.fortiss.af3.state@default:default,org.fortiss.af3.testing@default:default,org.fortiss.af3.timing@default:default,org.fortiss.af3.tools@default:default,org.fortiss.pragmatictransformation@default:default,org.fortiss.tooling.base.ui@default:default,org.fortiss.tooling.base@default:default,org.fortiss.tooling.common.ui@default:default,org.fortiss.tooling.common@default:default,org.fortiss.tooling.graphicsGL.ui@default:default,org.fortiss.tooling.graphicsGL@default:default,org.fortiss.tooling.kernel.ui@default:default,org.fortiss.tooling.kernel@default:default"/>
+<stringAttribute key="selected_workspace_plugins" value="com.microsoft.z3@default:default,org.fortiss.af3.allocation.ui@default:default,org.fortiss.af3.allocation@default:default,org.fortiss.af3.component.ui@default:default,org.fortiss.af3.component@default:default,org.fortiss.af3.cosimulation.ui@default:default,org.fortiss.af3.cosimulation@default:default,org.fortiss.af3.deployment.ui@default:default,org.fortiss.af3.deployment@default:default,org.fortiss.af3.expression.ui@default:default,org.fortiss.af3.expression@default:default,org.fortiss.af3.generator.common@default:default,org.fortiss.af3.mira.ui@default:default,org.fortiss.af3.mira@default:default,org.fortiss.af3.mode.ui@default:default,org.fortiss.af3.mode@default:default,org.fortiss.af3.msc@default:default,org.fortiss.af3.ocra@default:default,org.fortiss.af3.operatorpanel.ui@default:default,org.fortiss.af3.operatorpanel@default:default,org.fortiss.af3.platform.modelsconference.ui@default:default,org.fortiss.af3.platform.modelsconference@default:default,org.fortiss.af3.platform.raspberry.ui@default:default,org.fortiss.af3.platform.raspberry@default:default,org.fortiss.af3.platform.ui@default:default,org.fortiss.af3.platform@default:default,org.fortiss.af3.project.ui@default:default,org.fortiss.af3.project@default:default,org.fortiss.af3.rcp.application@default:default,org.fortiss.af3.refinement@default:default,org.fortiss.af3.safety.ui@default:default,org.fortiss.af3.safety@default:default,org.fortiss.af3.schedule.ui@default:default,org.fortiss.af3.schedule@default:default,org.fortiss.af3.specification@default:default,org.fortiss.af3.state.ui@default:default,org.fortiss.af3.state@default:default,org.fortiss.af3.testing@default:default,org.fortiss.af3.timing@default:default,org.fortiss.af3.tools@default:default,org.fortiss.pragmatictransformation@default:default,org.fortiss.tooling.base.ui@default:default,org.fortiss.tooling.base@default:default,org.fortiss.tooling.common.ui@default:default,org.fortiss.tooling.common@default:default,org.fortiss.tooling.graphicsGL.ui@default:default,org.fortiss.tooling.graphicsGL@default:default,org.fortiss.tooling.kernel.ui@default:default,org.fortiss.tooling.kernel@default:default"/>
 <booleanAttribute key="show_selected_only" value="false"/>
 <booleanAttribute key="tracing" value="false"/>
 <booleanAttribute key="useCustomFeatures" value="false"/>