mac64.launch

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench">
    <booleanAttribute key="append.args" value="true"/>
    <stringAttribute key="application" value="org.fortiss.af3.rcp.application.af3app"/>
    <booleanAttribute key="askclear" value="true"/>
    <booleanAttribute key="automaticAdd" value="false"/>
    <booleanAttribute key="automaticValidate" value="true"/>
    <stringAttribute key="bad_container_name" value="/org.fortiss.af3.phoenix.product.top/linux64.launch"/>
    <stringAttribute key="bootstrap" value=""/>
    <stringAttribute key="checked" value="[NONE]"/>
    <booleanAttribute key="clearConfig" value="false"/>
    <booleanAttribute key="clearws" value="false"/>
    <booleanAttribute key="clearwslog" value="false"/>
    <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/mac64"/>
    <booleanAttribute key="default" value="false"/>
    <setAttribute key="deselected_workspace_bundles"/>
    <booleanAttribute key="includeOptional" value="true"/>
    <stringAttribute key="location" value="${workspace_loc}/../runtime-af3_phoenix.product"/>
    <mapAttribute key="org.eclipse.debug.core.environmentVariables">
        <mapEntry key="DYLD_LIBRARY_PATH" value="../../../git/af3/com.microsoft.z3/lib/x64"/>
    </mapAttribute>
    <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
    <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl} -consoleLog"/>
    <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/>
    <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Dosgi.framework.extensions=org.eclipse.fx.osgi -Xmx2048m -Xss32m"/>
    <stringAttribute key="pde.version" value="3.3"/>
    <stringAttribute key="product" value="org.fortiss.af3.rcp.application.product"/>
    <stringAttribute key="productFile" value="/org.fortiss.af3.phoenix.product.top/af3_phoenix.product"/>
    <setAttribute key="selected_target_bundles">
        <setEntry value="com.google.guava@default:default"/>
        <setEntry value="com.ibm.icu@default:default"/>
        <setEntry value="javax.activation@default:default"/>
        <setEntry value="javax.annotation@default:default"/>
        <setEntry value="javax.el@default:default"/>
        <setEntry value="javax.inject@default:default"/>
        <setEntry value="javax.servlet.jsp@default:default"/>
        <setEntry value="javax.servlet@default:default"/>
        <setEntry value="javax.xml.bind@default:default"/>
        <setEntry value="javax.xml.stream@default:default"/>
        <setEntry value="javax.xml@default:default"/>
        <setEntry value="org.apache.batik.constants@default:default"/>
        <setEntry value="org.apache.batik.css*1.11.0.v20190515-0436@default:default"/>
        <setEntry value="org.apache.batik.i18n@default:default"/>
        <setEntry value="org.apache.batik.util*1.11.0.v20190515-0436@default:default"/>
        <setEntry value="org.apache.commons.io@default:default"/>
        <setEntry value="org.apache.commons.jxpath@default:default"/>
        <setEntry value="org.apache.commons.lang@default:default"/>
        <setEntry value="org.apache.commons.logging@default:default"/>
        <setEntry value="org.apache.felix.gogo.runtime@default:default"/>
        <setEntry value="org.apache.felix.scr@1:true"/>
        <setEntry value="org.apache.jasper.glassfish@default:default"/>
        <setEntry value="org.apache.log4j@default:default"/>
        <setEntry value="org.apache.lucene.analyzers-common@default:default"/>
        <setEntry value="org.apache.lucene.analyzers-smartcn@default:default"/>
        <setEntry value="org.apache.lucene.core@default:default"/>
        <setEntry value="org.apache.xmlgraphics@default:default"/>
        <setEntry value="org.eclipse.ant.core@default:default"/>
        <setEntry value="org.eclipse.compare.core@default:default"/>
        <setEntry value="org.eclipse.compare@default:default"/>
        <setEntry value="org.eclipse.core.commands@default:default"/>
        <setEntry value="org.eclipse.core.contenttype@default:default"/>
        <setEntry value="org.eclipse.core.databinding.beans@default:default"/>
        <setEntry value="org.eclipse.core.databinding.observable@default:default"/>
        <setEntry value="org.eclipse.core.databinding.property@default:default"/>
        <setEntry value="org.eclipse.core.databinding@default:default"/>
        <setEntry value="org.eclipse.core.expressions@default:default"/>
        <setEntry value="org.eclipse.core.filebuffers@default:default"/>
        <setEntry value="org.eclipse.core.filesystem.win32.x86_64@default:default"/>
        <setEntry value="org.eclipse.core.filesystem@default:default"/>
        <setEntry value="org.eclipse.core.jobs@default:default"/>
        <setEntry value="org.eclipse.core.net.win32.x86_64@default:default"/>
        <setEntry value="org.eclipse.core.net@default:default"/>
        <setEntry value="org.eclipse.core.resources.win32.x86_64@default:default"/>
        <setEntry value="org.eclipse.core.resources@default:default"/>
        <setEntry value="org.eclipse.core.runtime@default:true"/>
        <setEntry value="org.eclipse.core.variables@default:default"/>
        <setEntry value="org.eclipse.draw2d@default:default"/>
        <setEntry value="org.eclipse.e4.core.commands@default:default"/>
        <setEntry value="org.eclipse.e4.core.contexts@default:default"/>
        <setEntry value="org.eclipse.e4.core.di.annotations@default:default"/>
        <setEntry value="org.eclipse.e4.core.di.extensions.supplier@default:default"/>
        <setEntry value="org.eclipse.e4.core.di.extensions@default:default"/>
        <setEntry value="org.eclipse.e4.core.di@default:default"/>
        <setEntry value="org.eclipse.e4.core.services@default:default"/>
        <setEntry value="org.eclipse.e4.emf.xpath@default:default"/>
        <setEntry value="org.eclipse.e4.ui.bindings@default:default"/>
        <setEntry value="org.eclipse.e4.ui.css.core@default:default"/>
        <setEntry value="org.eclipse.e4.ui.css.swt.theme@default:default"/>
        <setEntry value="org.eclipse.e4.ui.css.swt@default:default"/>
        <setEntry value="org.eclipse.e4.ui.di@default:default"/>
        <setEntry value="org.eclipse.e4.ui.dialogs@default:default"/>
        <setEntry value="org.eclipse.e4.ui.model.workbench@default:default"/>
        <setEntry value="org.eclipse.e4.ui.services@default:default"/>
        <setEntry value="org.eclipse.e4.ui.widgets@default:default"/>
        <setEntry value="org.eclipse.e4.ui.workbench.addons.swt@default:default"/>
        <setEntry value="org.eclipse.e4.ui.workbench.renderers.swt@default:default"/>
        <setEntry value="org.eclipse.e4.ui.workbench.swt@default:default"/>
        <setEntry value="org.eclipse.e4.ui.workbench3@default:default"/>
        <setEntry value="org.eclipse.e4.ui.workbench@default:default"/>
        <setEntry value="org.eclipse.elk.alg.common@default:default"/>
        <setEntry value="org.eclipse.elk.alg.layered@default:default"/>
        <setEntry value="org.eclipse.elk.core@default:default"/>
        <setEntry value="org.eclipse.elk.graph@default:default"/>
        <setEntry value="org.eclipse.emf.common@default:default"/>
        <setEntry value="org.eclipse.emf.databinding@default:default"/>
        <setEntry value="org.eclipse.emf.ecore.change@default:default"/>
        <setEntry value="org.eclipse.emf.ecore.xmi@default:default"/>
        <setEntry value="org.eclipse.emf.ecore@default:default"/>
        <setEntry value="org.eclipse.emf.edit@default:default"/>
        <setEntry value="org.eclipse.emf.transaction@default:default"/>
        <setEntry value="org.eclipse.emf.validation@default:default"/>
        <setEntry value="org.eclipse.equinox.app@default:default"/>
        <setEntry value="org.eclipse.equinox.bidi@default:default"/>
        <setEntry value="org.eclipse.equinox.common@2:true"/>
        <setEntry value="org.eclipse.equinox.ds@1:true"/>
        <setEntry value="org.eclipse.equinox.event@1:default"/>
        <setEntry value="org.eclipse.equinox.http.jetty@default:default"/>
        <setEntry value="org.eclipse.equinox.http.registry@default:default"/>
        <setEntry value="org.eclipse.equinox.http.servlet@default:default"/>
        <setEntry value="org.eclipse.equinox.jsp.jasper.registry@default:default"/>
        <setEntry value="org.eclipse.equinox.jsp.jasper@default:default"/>
        <setEntry value="org.eclipse.equinox.p2.core@default:default"/>
        <setEntry value="org.eclipse.equinox.p2.director@default:default"/>
        <setEntry value="org.eclipse.equinox.p2.engine@default:default"/>
        <setEntry value="org.eclipse.equinox.p2.metadata.repository@default:default"/>
        <setEntry value="org.eclipse.equinox.p2.metadata@default:default"/>
        <setEntry value="org.eclipse.equinox.p2.repository@default:default"/>
        <setEntry value="org.eclipse.equinox.preferences@default:default"/>
        <setEntry value="org.eclipse.equinox.region@default:false"/>
        <setEntry value="org.eclipse.equinox.registry@default:default"/>
        <setEntry value="org.eclipse.equinox.security.win32.x86_64@default:default"/>
        <setEntry value="org.eclipse.equinox.security@default:default"/>
        <setEntry value="org.eclipse.equinox.simpleconfigurator@1:true"/>
        <setEntry value="org.eclipse.equinox.supplement@default:default"/>
        <setEntry value="org.eclipse.equinox.transforms.hook@default:false"/>
        <setEntry value="org.eclipse.equinox.weaving.hook@default:false"/>
        <setEntry value="org.eclipse.fx.core.databinding@default:default"/>
        <setEntry value="org.eclipse.fx.core@default:default"/>
        <setEntry value="org.eclipse.fx.osgi.util@default:default"/>
        <setEntry value="org.eclipse.fx.osgi@default:false"/>
        <setEntry value="org.eclipse.fx.ui.workbench3@default:default"/>
        <setEntry value="org.eclipse.gef@default:default"/>
        <setEntry value="org.eclipse.help.base@default:default"/>
        <setEntry value="org.eclipse.help.ui@default:default"/>
        <setEntry value="org.eclipse.help.webapp@default:default"/>
        <setEntry value="org.eclipse.help@default:default"/>
        <setEntry value="org.eclipse.jdt.annotation*2.2.400.v20191120-1313@default:default"/>
        <setEntry value="org.eclipse.jdt.compiler.apt@default:false"/>
        <setEntry value="org.eclipse.jdt.compiler.tool@default:false"/>
        <setEntry value="org.eclipse.jdt.core@default:default"/>
        <setEntry value="org.eclipse.jdt.junit.runtime@default:default"/>
        <setEntry value="org.eclipse.jetty.http@default:default"/>
        <setEntry value="org.eclipse.jetty.io@default:default"/>
        <setEntry value="org.eclipse.jetty.security@default:default"/>
        <setEntry value="org.eclipse.jetty.server@default:default"/>
        <setEntry value="org.eclipse.jetty.servlet@default:default"/>
        <setEntry value="org.eclipse.jetty.util@default:default"/>
        <setEntry value="org.eclipse.jface.databinding@default:default"/>
        <setEntry value="org.eclipse.jface.text@default:default"/>
        <setEntry value="org.eclipse.jface@default:default"/>
        <setEntry value="org.eclipse.ltk.core.refactoring@default:default"/>
        <setEntry value="org.eclipse.ltk.ui.refactoring@default:default"/>
        <setEntry value="org.eclipse.osgi.compatibility.state@default:false"/>
        <setEntry value="org.eclipse.osgi.services@default:default"/>
        <setEntry value="org.eclipse.osgi.util@default:default"/>
        <setEntry value="org.eclipse.osgi@-1:true"/>
        <setEntry value="org.eclipse.swt.win32.win32.x86_64@default:default"/>
        <setEntry value="org.eclipse.swt@default:default"/>
        <setEntry value="org.eclipse.swtbot.eclipse.core@default:default"/>
        <setEntry value="org.eclipse.swtbot.eclipse.finder@default:default"/>
        <setEntry value="org.eclipse.swtbot.forms.finder@default:default"/>
        <setEntry value="org.eclipse.swtbot.go@default:default"/>
        <setEntry value="org.eclipse.swtbot.junit4_x@default:default"/>
        <setEntry value="org.eclipse.swtbot.swt.finder@default:default"/>
        <setEntry value="org.eclipse.team.core@default:default"/>
        <setEntry value="org.eclipse.team.ui@default:default"/>
        <setEntry value="org.eclipse.text@default:default"/>
        <setEntry value="org.eclipse.ui.editors@default:default"/>
        <setEntry value="org.eclipse.ui.forms@default:default"/>
        <setEntry value="org.eclipse.ui.ide.application@default:default"/>
        <setEntry value="org.eclipse.ui.ide@default:default"/>
        <setEntry value="org.eclipse.ui.intro.quicklinks@default:default"/>
        <setEntry value="org.eclipse.ui.intro.universal@default:default"/>
        <setEntry value="org.eclipse.ui.intro@default:default"/>
        <setEntry value="org.eclipse.ui.navigator.resources@default:default"/>
        <setEntry value="org.eclipse.ui.navigator@default:default"/>
        <setEntry value="org.eclipse.ui.trace@default:default"/>
        <setEntry value="org.eclipse.ui.views.properties.tabbed@default:default"/>
        <setEntry value="org.eclipse.ui.views@default:default"/>
        <setEntry value="org.eclipse.ui.win32@default:default"/>
        <setEntry value="org.eclipse.ui.workbench.texteditor@default:default"/>
        <setEntry value="org.eclipse.ui.workbench@default:default"/>
        <setEntry value="org.eclipse.ui@default:default"/>
        <setEntry value="org.eclipse.urischeme@default:default"/>
        <setEntry value="org.eclipse.xtext.logging@default:false"/>
        <setEntry value="org.eclipse.xtext.xbase.lib@default:default"/>
        <setEntry value="org.hamcrest.core@default:default"/>
        <setEntry value="org.hamcrest.library@default:default"/>
        <setEntry value="org.json@default:default"/>
        <setEntry value="org.junit@default:default"/>
        <setEntry value="org.openjfx.base@default:default"/>
        <setEntry value="org.openjfx.controls@default:default"/>
        <setEntry value="org.openjfx.fxml@default:default"/>
        <setEntry value="org.openjfx.swt@default:default"/>
        <setEntry value="org.sat4j.core@default:default"/>
        <setEntry value="org.sat4j.pb@default:default"/>
        <setEntry value="org.tukaani.xz@default:default"/>
        <setEntry value="org.w3c.css.sac@default:default"/>
        <setEntry value="org.w3c.dom.events@default:default"/>
        <setEntry value="org.w3c.dom.smil@default:default"/>
        <setEntry value="org.w3c.dom.svg@default:default"/>
    </setAttribute>
    <setAttribute key="selected_workspace_bundles">
        <setEntry value="com.microsoft.z3@default:default"/>
        <setEntry value="eu.fbk.af3.tools.diagram.ui@default:default"/>
        <setEntry value="eu.fbk.af3.tools.diagram@default:default"/>
        <setEntry value="org.fortiss.af3.allocation.ui@default:default"/>
        <setEntry value="org.fortiss.af3.allocation@default:default"/>
        <setEntry value="org.fortiss.af3.component.ui@default:default"/>
        <setEntry value="org.fortiss.af3.component@default:default"/>
        <setEntry value="org.fortiss.af3.cosimulation.ui@default:default"/>
        <setEntry value="org.fortiss.af3.cosimulation@default:default"/>
        <setEntry value="org.fortiss.af3.exploration.smt@default:default"/>
        <setEntry value="org.fortiss.af3.exploration.ui@default:default"/>
        <setEntry value="org.fortiss.af3.exploration@default:default"/>
        <setEntry value="org.fortiss.af3.expression.ui@default:default"/>
        <setEntry value="org.fortiss.af3.expression@default:default"/>
        <setEntry value="org.fortiss.af3.generator.common@default:default"/>
        <setEntry value="org.fortiss.af3.mira.ui@default:default"/>
        <setEntry value="org.fortiss.af3.mira@default:default"/>
        <setEntry value="org.fortiss.af3.mode.ui@default:default"/>
        <setEntry value="org.fortiss.af3.mode@default:default"/>
        <setEntry value="org.fortiss.af3.operatorpanel.ui@default:default"/>
        <setEntry value="org.fortiss.af3.operatorpanel@default:default"/>
        <setEntry value="org.fortiss.af3.partition.ui@default:default"/>
        <setEntry value="org.fortiss.af3.partition@default:default"/>
        <setEntry value="org.fortiss.af3.platform.hierarchic.ui@default:default"/>
        <setEntry value="org.fortiss.af3.platform.hierarchic@default:default"/>
        <setEntry value="org.fortiss.af3.platform.raspberry.ui@default:default"/>
        <setEntry value="org.fortiss.af3.platform.raspberry@default:default"/>
        <setEntry value="org.fortiss.af3.platform.ui@default:default"/>
        <setEntry value="org.fortiss.af3.platform@default:default"/>
        <setEntry value="org.fortiss.af3.project.ui@default:default"/>
        <setEntry value="org.fortiss.af3.project@default:default"/>
        <setEntry value="org.fortiss.af3.rcp.application@default:default"/>
        <setEntry value="org.fortiss.af3.rcp.help@default:default"/>
        <setEntry value="org.fortiss.af3.safety.ui@default:default"/>
        <setEntry value="org.fortiss.af3.safety@default:default"/>
        <setEntry value="org.fortiss.af3.safetycases.ui@default:default"/>
        <setEntry value="org.fortiss.af3.safetycases@default:default"/>
        <setEntry value="org.fortiss.af3.schedule.ui@default:default"/>
        <setEntry value="org.fortiss.af3.schedule@default:default"/>
        <setEntry value="org.fortiss.af3.state.ui@default:default"/>
        <setEntry value="org.fortiss.af3.state@default:default"/>
        <setEntry value="org.fortiss.af3.task.ui@default:default"/>
        <setEntry value="org.fortiss.af3.task@default:default"/>
        <setEntry value="org.fortiss.af3.timing.ui@default:default"/>
        <setEntry value="org.fortiss.af3.timing@default:default"/>
        <setEntry value="org.fortiss.tooling.base.ui@default:default"/>
        <setEntry value="org.fortiss.tooling.base@default:default"/>
        <setEntry value="org.fortiss.tooling.common.ui@default:default"/>
        <setEntry value="org.fortiss.tooling.common@default:default"/>
        <setEntry value="org.fortiss.tooling.ext.reuse.ui@default:default"/>
        <setEntry value="org.fortiss.tooling.ext.reuse@default:default"/>
        <setEntry value="org.fortiss.tooling.graphicsGL.ui@default:default"/>
        <setEntry value="org.fortiss.tooling.graphicsGL@default:default"/>
        <setEntry value="org.fortiss.tooling.kernel.ui@default:default"/>
        <setEntry value="org.fortiss.tooling.kernel@default:default"/>
        <setEntry value="org.fortiss.tooling.spiderchart.ui@default:default"/>
    </setAttribute>
    <booleanAttribute key="show_selected_only" value="false"/>
    <booleanAttribute key="tracing" value="false"/>
    <booleanAttribute key="useCustomFeatures" value="false"/>
    <booleanAttribute key="useDefaultConfig" value="true"/>
    <booleanAttribute key="useDefaultConfigArea" value="true"/>
    <booleanAttribute key="useProduct" value="true"/>
    <booleanAttribute key="usefeatures" value="false"/>
</launchConfiguration>