#This configuration file was written by: org.eclipse.equinox.internal.frameworkadmin.equinox.EquinoxFwConfigFileParser
#Fri Oct 06 20:49:13 CEST 2017
eclipse.p2.profile=DefaultProfile
osgi.framework=file\:plugins/org.eclipse.osgi_3.12.0.v20170512-1932.jar
equinox.use.ds=true
eclipse.buildId=1.5.4
ds.delayed.keepInstances=true
osgi.bundles=reference\:file\:aws-ec2_2.0.2.jar@4\:start,reference\:file\:aws-s3_2.0.2.jar@4,reference\:file\:azurecompute_2.0.2.jar@4\:start,reference\:file\:bcpkix_1.58.0.jar@4,reference\:file\:bcprov_1.58.0.jar@4,reference\:file\:bcprov-ext_1.58.0.jar@4,reference\:file\:com.abstratt.content_2.1.201501.201606262232.jar@4,reference\:file\:com.abstratt.graphviz_2.1.201501.201606262232.jar@4,reference\:file\:com.abstratt.graphviz.ui_2.1.201501.201606262232.jar@4,reference\:file\:com.abstratt.imageviewer_2.1.201501.201606262232.jar@4,reference\:file\:com.abstratt.pluginutils_2.1.201501.201606262232.jar@4,reference\:file\:com.google.gson_2.5.0.jar@4,reference\:file\:com.google.guava_16.0.1.jar@4,reference\:file\:com.google.inject_3.0.0.jar@4,reference\:file\:com.google.inject.assistedinject_3.0.0.jar@4,reference\:file\:com.hierynomus.sshj_0.21.1.jar@4,reference\:file\:com.ibm.icu_58.2.0.v20170418-1837.jar@4,reference\:file\:com.jcraft.jsch_0.1.54.v20170116-1932.jar@4\:start,reference\:file\:com.jcraft.jsch.agentproxy.osgi_0.0.8.jar@4,reference\:file\:com.sun.el_2.2.0.v201303151357.jar@4,reference\:file\:com.sun.jna_4.1.0.jar@4,reference\:file\:com.sun.jna.platform_4.1.0.jar@4,reference\:file\:de.vonloesch.pdf4Eclipse_1.1.0.201709072025.jar@4,reference\:file\:ec2_2.0.2.jar@4\:start,reference\:file\:javax.activation_1.1.0.v201211130549.jar@4,reference\:file\:javax.annotation_1.2.0.v201602091430.jar@4,reference\:file\:javax.el_2.2.0.v201303151357.jar@4,reference\:file\:javax.inject_1.0.0.v20091030.jar@4,reference\:file\:javax.mail_1.4.0.v201005080615.jar@4,reference\:file\:javax.servlet_3.1.0.v201410161800.jar@4,reference\:file\:javax.servlet.jsp_2.2.0.v201112011158.jar@4,reference\:file\:javax.ws.rs.jsr311-api_1.1.1.jar@4,reference\:file\:jclouds-blobstore_2.0.2.jar@4,reference\:file\:jclouds-bouncycastle_2.0.2.jar@4,reference\:file\:jclouds-compute_2.0.2.jar@4,reference\:file\:jclouds-core_2.0.2.jar@4\:start,reference\:file\:jclouds-enterprise_2.0.2.jar@4,reference\:file\:jclouds-joda_2.0.2.jar@4,reference\:file\:jclouds-netty_2.0.2.jar@4,reference\:file\:jclouds-scriptbuilder_2.0.2.jar@4,reference\:file\:jclouds-slf4j_2.0.2.jar@4,reference\:file\:jclouds-sshj_2.0.2.jar@4,reference\:file\:joda-time_2.1.0.jar@4,reference\:file\:net.i2p.crypto.eddsa_0.1.0.jar@4,reference\:file\:org.apache.batik.css_1.8.0.v20170214-1941.jar@4,reference\:file\:org.apache.batik.util_1.8.0.v20170214-1941.jar@4,reference\:file\:org.apache.batik.util.gui_1.8.0.v20170214-1941.jar@4,reference\:file\:org.apache.commons.beanutils_1.8.0.v201205091237.jar@4,reference\:file\:org.apache.commons.codec_1.9.0.v20170208-1614.jar@4,reference\:file\:org.apache.commons.collections_3.2.0.v2013030210310.jar@4,reference\:file\:org.apache.commons.io_2.0.1.v201105210651.jar@4,reference\:file\:org.apache.commons.jxpath_1.3.0.v200911051830.jar@4,reference\:file\:org.apache.commons.logging_1.1.1.v201101211721.jar@4,reference\:file\:org.apache.felix.gogo.command_0.10.0.v201209301215.jar@4,reference\:file\:org.apache.felix.gogo.runtime_0.10.0.v201209301036.jar@4,reference\:file\:org.apache.felix.gogo.shell_0.10.0.v201212101605.jar@4,reference\:file\:org.apache.felix.scr_2.0.10.v20170501-2007.jar@4,reference\:file\:org.apache.httpcomponents.httpclient_4.5.2.v20170210-0925.jar@4,reference\:file\:org.apache.httpcomponents.httpcore_4.4.6.v20170210-0925.jar@4,reference\:file\:org.apache.jasper.glassfish_2.2.2.v201501141630.jar@4,reference\:file\:org.apache.lucene.analyzers-common_6.1.0.v20161115-1612.jar@4,reference\:file\:org.apache.lucene.analyzers-smartcn_6.1.0.v20161115-1612.jar@4,reference\:file\:org.apache.lucene.core_6.1.0.v20161115-1612.jar@4,reference\:file\:org.apache.lucene.misc_6.1.0.v20161115-1612.jar@4,reference\:file\:org.apache.servicemix.bundles.aopalliance_1.0.0.6.jar@4,reference\:file\:org.apache.servicemix.bundles.java-xmlbuilder_0.6.0.1.jar@4,reference\:file\:org.apache.servicemix.bundles.javax-inject_1.0.0.2.jar@4,reference\:file\:org.apache.servicemix.bundles.jsch_0.1.51.1.jar@4,reference\:file\:org.apache.servicemix.bundles.jzlib_1.1.3.2.jar@4,reference\:file\:org.aspectj.runtime_1.8.10.201704242114.jar@4,reference\:file\:org.eclipse.compare_3.7.100.v20170303-1847.jar@4,reference\:file\:org.eclipse.compare.core_3.6.100.v20170516-0820.jar@4,reference\:file\:org.eclipse.core.commands_3.9.0.v20170530-1048.jar@4,reference\:file\:org.eclipse.core.contenttype_3.6.0.v20170207-1037.jar@4,reference\:file\:org.eclipse.core.databinding_1.6.100.v20170515-1119.jar@4,reference\:file\:org.eclipse.core.databinding.beans_1.4.0.v20170210-0856.jar@4,reference\:file\:org.eclipse.core.databinding.observable_1.6.100.v20170515-1119.jar@4,reference\:file\:org.eclipse.core.databinding.property_1.6.100.v20170515-1119.jar@4,reference\:file\:org.eclipse.core.expressions_3.6.0.v20170207-1037.jar@4,reference\:file\:org.eclipse.core.filebuffers_3.6.100.v20170203-1130.jar@4,reference\:file\:org.eclipse.core.filesystem_1.7.0.v20170406-1337.jar@4,reference\:file\:org.eclipse.core.filesystem.linux.x86_64_1.2.200.v20140124-1940.jar@4,reference\:file\:org.eclipse.core.jobs_3.9.0.v20170322-0013.jar@4,reference\:file\:org.eclipse.core.net_1.3.100.v20170516-0820.jar@4,reference\:file\:org.eclipse.core.resources_3.12.0.v20170417-1558.jar@4,reference\:file\:org.eclipse.core.runtime_3.13.0.v20170207-1030.jar@4\:start,reference\:file\:org.eclipse.core.variables_3.4.0.v20170113-2056.jar@4,reference\:file\:org.eclipse.debug.core_3.11.0.v20170605-1534.jar@4,reference\:file\:org.eclipse.e4.core.commands_0.12.100.v20170513-0428.jar@4,reference\:file\:org.eclipse.e4.core.contexts_1.6.0.v20170322-1144.jar@4,reference\:file\:org.eclipse.e4.core.di_1.6.100.v20170421-1418.jar@4,reference\:file\:org.eclipse.e4.core.di.annotations_1.6.0.v20170119-2002.jar@4,reference\:file\:org.eclipse.e4.core.di.extensions_0.15.0.v20170228-1728.jar@4,reference\:file\:org.eclipse.e4.core.di.extensions.supplier_0.15.0.v20170407-0928.jar@4,reference\:file\:org.eclipse.e4.core.services_2.1.0.v20170407-0928.jar@4,reference\:file\:org.eclipse.e4.emf.xpath_0.2.0.v20160630-0728.jar@4,reference\:file\:org.eclipse.e4.ui.bindings_0.12.0.v20170312-2302.jar@4,reference\:file\:org.eclipse.e4.ui.css.core_0.12.100.v20170526-1635.jar@4,reference\:file\:org.eclipse.e4.ui.css.swt_0.13.0.v20170516-1617.jar@4,reference\:file\:org.eclipse.e4.ui.css.swt.theme_0.11.0.v20170312-2302.jar@4,reference\:file\:org.eclipse.e4.ui.di_1.2.100.v20170414-1137.jar@4,reference\:file\:org.eclipse.e4.ui.dialogs_1.1.100.v20170104-1425.jar@4,reference\:file\:org.eclipse.e4.ui.model.workbench_2.0.0.v20170228-1842.jar@4,reference\:file\:org.eclipse.e4.ui.services_1.3.0.v20170307-2032.jar@4,reference\:file\:org.eclipse.e4.ui.swt.gtk_1.0.200.v20170513-0428.jar@4,reference\:file\:org.eclipse.e4.ui.widgets_1.2.0.v20160630-0736.jar@4,reference\:file\:org.eclipse.e4.ui.workbench_1.5.0.v20170412-0908.jar@4,reference\:file\:org.eclipse.e4.ui.workbench.addons.swt_1.3.1.v20170319-1442.jar@4,reference\:file\:org.eclipse.e4.ui.workbench.renderers.swt_0.14.100.v20170612-1255.jar@4,reference\:file\:org.eclipse.e4.ui.workbench.swt_0.14.100.v20170519-1601.jar@4,reference\:file\:org.eclipse.e4.ui.workbench3_0.14.0.v20160630-0740.jar@4,reference\:file\:org.eclipse.ecf_3.8.0.v20170104-0657.jar@4,reference\:file\:org.eclipse.ecf.filetransfer_5.0.0.v20160817-1024.jar@4,reference\:file\:org.eclipse.ecf.identity_3.8.0.v20161203-2153.jar@4,reference\:file\:org.eclipse.ecf.provider.filetransfer_3.2.300.v20161203-1840.jar@4,reference\:file\:org.eclipse.ecf.provider.filetransfer.httpclient4_1.1.200.v20170314-0133.jar@4,reference\:file\:org.eclipse.ecf.provider.filetransfer.httpclient4.ssl_1.1.0.v20160817-1024.jar@4,reference\:file\:org.eclipse.ecf.provider.filetransfer.ssl_1.0.0.v20160817-1024.jar@4,reference\:file\:org.eclipse.ecf.ssl_1.2.0.v20160817-1024.jar@4,reference\:file\:org.eclipse.emf.common_2.13.0.v20170609-0707.jar@4,reference\:file\:org.eclipse.emf.ecore_2.13.0.v20170609-0707.jar@4,reference\:file\:org.eclipse.emf.ecore.change_2.11.0.v20170609-0707.jar@4,reference\:file\:org.eclipse.emf.ecore.xmi_2.13.0.v20170609-0707.jar@4,reference\:file\:org.eclipse.equinox.app_1.3.400.v20150715-1528.jar@4,reference\:file\:org.eclipse.equinox.bidi_1.1.0.v20160728-1031.jar@4,reference\:file\:org.eclipse.equinox.common_3.9.0.v20170207-1454.jar@2\:start,reference\:file\:org.eclipse.equinox.concurrent_1.1.0.v20130327-1442.jar@4,reference\:file\:org.eclipse.equinox.console_1.1.300.v20170512-2111.jar@4,reference\:file\:org.eclipse.equinox.ds_1.5.0.v20170307-1429.jar@2\:start,reference\:file\:org.eclipse.equinox.event_1.4.0.v20170105-1446.jar@4,reference\:file\:org.eclipse.equinox.frameworkadmin_2.0.300.v20160504-1450.jar@4,reference\:file\:org.eclipse.equinox.frameworkadmin.equinox_1.0.800.v20170524-1345.jar@4,reference\:file\:org.eclipse.equinox.http.jetty_3.4.0.v20170503-2025.jar@3\:start,reference\:file\:org.eclipse.equinox.http.registry_1.1.400.v20150715-1528.jar@3\:start,reference\:file\:org.eclipse.equinox.http.servlet_1.4.0.v20170524-1452.jar@4,reference\:file\:org.eclipse.equinox.jsp.jasper_1.0.500.v20150119-1358.jar@4,reference\:file\:org.eclipse.equinox.jsp.jasper.registry_1.0.300.v20130327-1442.jar@4,reference\:file\:org.eclipse.equinox.launcher_1.4.0.v20161219-1356.jar@4,reference\:file\:org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.500.v20170531-1133/@4,reference\:file\:org.eclipse.equinox.p2.artifact.repository_1.1.600.v20170511-1106.jar@4,reference\:file\:org.eclipse.equinox.p2.console_1.0.600.v20170511-1106.jar@4,reference\:file\:org.eclipse.equinox.p2.core_2.4.100.v20160419-0834.jar@4,reference\:file\:org.eclipse.equinox.p2.director_2.3.300.v20160504-1450.jar@4,reference\:file\:org.eclipse.equinox.p2.engine_2.5.0.v20170319-2002.jar@4,reference\:file\:org.eclipse.equinox.p2.garbagecollector_1.0.300.v20160504-1450.jar@4,reference\:file\:org.eclipse.equinox.p2.jarprocessor_1.0.500.v20160504-1450.jar@4,reference\:file\:org.eclipse.equinox.p2.metadata_2.3.200.v20170511-1106.jar@4,reference\:file\:org.eclipse.equinox.p2.metadata.repository_1.2.400.v20170511-1106.jar@4,reference\:file\:org.eclipse.equinox.p2.operations_2.4.300.v20170511-1106.jar@4,reference\:file\:org.eclipse.equinox.p2.repository_2.3.300.v20170511-1216.jar@4,reference\:file\:org.eclipse.equinox.p2.touchpoint.eclipse_2.1.500.v20170516-0526.jar@4,reference\:file\:org.eclipse.equinox.p2.touchpoint.natives_1.2.200.v20170511-1216.jar@4,reference\:file\:org.eclipse.equinox.p2.transport.ecf_1.1.300.v20161004-0244.jar@4,reference\:file\:org.eclipse.equinox.p2.ui_2.5.0.v20170505-1031.jar@4,reference\:file\:org.eclipse.equinox.p2.ui.sdk_1.0.500.v20170511-1216.jar@4,reference\:file\:org.eclipse.equinox.p2.ui.sdk.scheduler_1.3.100.v20170418-0708.jar@4,reference\:file\:org.eclipse.equinox.p2.updatechecker_1.1.400.v20170106-2125.jar@4,reference\:file\:org.eclipse.equinox.preferences_3.7.0.v20170126-2132.jar@4,reference\:file\:org.eclipse.equinox.registry_3.7.0.v20170222-1344.jar@4,reference\:file\:org.eclipse.equinox.security_1.2.300.v20170505-1235.jar@4,reference\:file\:org.eclipse.equinox.security.linux.x86_64_1.0.100.v20170504-1307.jar@4,reference\:file\:org.eclipse.equinox.security.ui_1.1.400.v20170505-1235.jar@4,reference\:file\:org.eclipse.equinox.simpleconfigurator_1.2.0.v20170110-1705.jar@4,reference\:file\:org.eclipse.equinox.simpleconfigurator.manipulator_2.0.300.v20170515-0721.jar@4,reference\:file\:org.eclipse.equinox.util_1.0.500.v20130404-1337.jar@4,reference\:file\:org.eclipse.help_3.8.0.v20160823-1530.jar@4,reference\:file\:org.eclipse.help.base_4.2.100.v20170612-0950.jar@4,reference\:file\:org.eclipse.help.ui_4.1.0.v20170311-0931.jar@4,reference\:file\:org.eclipse.help.webapp_3.9.0.v20170113-0643.jar@4,reference\:file\:org.eclipse.jdt.core_3.13.0.v20170516-1929.jar@4,reference\:file\:org.eclipse.jdt.debug_3.11.0.v20170510-1451/@4,reference\:file\:org.eclipse.jdt.launching_3.9.0.v20170419-1235.jar@4,reference\:file\:org.eclipse.jetty.continuation_9.4.5.v20170502.jar@4,reference\:file\:org.eclipse.jetty.http_9.4.5.v20170502.jar@4,reference\:file\:org.eclipse.jetty.io_9.4.5.v20170502.jar@4,reference\:file\:org.eclipse.jetty.security_9.4.5.v20170502.jar@4,reference\:file\:org.eclipse.jetty.server_9.4.5.v20170502.jar@4,reference\:file\:org.eclipse.jetty.servlet_9.4.5.v20170502.jar@4,reference\:file\:org.eclipse.jetty.util_9.4.5.v20170502.jar@4,reference\:file\:org.eclipse.jface_3.13.0.v20170503-1507.jar@4,reference\:file\:org.eclipse.jface.databinding_1.8.100.v20170503-1507.jar@4,reference\:file\:org.eclipse.jface.text_3.12.0.v20170523-1043.jar@4,reference\:file\:org.eclipse.osgi.services_3.6.0.v20170228-1906.jar@4,reference\:file\:org.eclipse.osgi.util_3.4.0.v20170111-1608.jar@4,reference\:file\:org.eclipse.rcp_4.7.0.v20170612-0950.jar@4,reference\:file\:org.eclipse.swt_3.106.0.v20170608-0516.jar@4,reference\:file\:org.eclipse.swt.gtk.linux.x86_64_3.106.0.v20170608-0516.jar@4,reference\:file\:org.eclipse.team.core_3.8.100.v20170516-0820.jar@4,reference\:file\:org.eclipse.team.ui_3.8.1.v20170515-1133.jar@4,reference\:file\:org.eclipse.text_3.6.100.v20170203-0814.jar@4,reference\:file\:org.eclipse.ui_3.109.0.v20170411-1742.jar@4,reference\:file\:org.eclipse.ui.console_3.7.0.v20170315-0941.jar@4,reference\:file\:org.eclipse.ui.editors_3.11.0.v20170202-1823.jar@4,reference\:file\:org.eclipse.ui.forms_3.7.100.v20170517-1755.jar@4,reference\:file\:org.eclipse.ui.ide_3.13.0.v20170516-1223.jar@4,reference\:file\:org.eclipse.ui.intro_3.5.100.v20170418-0710.jar@4,reference\:file\:org.eclipse.ui.intro.quicklinks_1.0.100.v20170515-0756.jar@4,reference\:file\:org.eclipse.ui.intro.universal_3.3.100.v20170515-1335.jar@4,reference\:file\:org.eclipse.ui.navigator_3.7.0.v20170418-1342.jar@4,reference\:file\:org.eclipse.ui.views_3.9.0.v20170226-1833.jar@4,reference\:file\:org.eclipse.ui.views.properties.tabbed_3.8.0.v20170516-1617.jar@4,reference\:file\:org.eclipse.ui.workbench_3.110.0.v20170612-1255.jar@4,reference\:file\:org.eclipse.ui.workbench.texteditor_3.10.100.v20170426-2021.jar@4,reference\:file\:org.eclipse.update.configurator_3.3.400.v20160506-0750.jar@4,reference\:file\:org.hamcrest.core_1.3.0.v201303031735.jar@4,reference\:file\:org.jboss.netty_3.5.9.Final.jar@4,reference\:file\:org.jpedal.pdf_4.74.27.jar@4,reference\:file\:org.junit_4.12.0.v201504281640/@4,reference\:file\:org.lamport.tla.toolbox_1.0.0.201710061831/@4,reference\:file\:org.lamport.tla.toolbox.doc_1.5.4.201710061831/@4,reference\:file\:org.lamport.tla.toolbox.editor.basic_1.0.0.201710061831.jar@4,reference\:file\:org.lamport.tla.toolbox.jclouds_1.0.0.201710061831.jar@4\:start,reference\:file\:org.lamport.tla.toolbox.jnlp_1.0.0.201710061831.jar@4,reference\:file\:org.lamport.tla.toolbox.product.standalone_1.0.0.201710061831.jar@4,reference\:file\:org.lamport.tla.toolbox.tool.prover_1.0.0.201710061831.jar@4,reference\:file\:org.lamport.tla.toolbox.tool.tla2tex_1.0.0.201710061831.jar@4,reference\:file\:org.lamport.tla.toolbox.tool.tlc_1.0.0.201710061831.jar@4,reference\:file\:org.lamport.tla.toolbox.tool.tlc.ui_1.0.0.201710061831.jar@4,reference\:file\:org.lamport.tlatools_1.0.0.201710061831/@4,reference\:file\:org.lamport.tlatools.api_1.0.0.201710061831.jar@4,reference\:file\:org.lamport.tlatools.consumer.distributed_1.0.0.201710061831.jar@4,reference\:file\:org.lamport.tlatools.impl.distributed_1.0.0.201710061831.jar@4,reference\:file\:org.sat4j.core_2.3.5.v201308161310.jar@4,reference\:file\:org.sat4j.pb_2.3.5.v201404071733.jar@4,reference\:file\:org.tukaani.xz_1.5.0.v20170111-1717.jar@4,reference\:file\:org.w3c.css.sac_1.3.1.v200903091627.jar@4,reference\:file\:org.w3c.dom.events_3.0.0.draft20060413_v201105210656.jar@4,reference\:file\:org.w3c.dom.smil_1.0.1.v200903091627.jar@4,reference\:file\:org.w3c.dom.svg_1.1.0.v201011041433.jar@4,reference\:file\:s3_2.0.2.jar@4,reference\:file\:slf4j.api_1.7.5.jar@4,reference\:file\:slf4j.nop_1.7.5.jar@4,reference\:file\:sts_2.0.2.jar@4\:start
eclipse.product=org.lamport.tla.toolbox.product.standalone.product
osgi.framework.extensions=reference\:file\:org.eclipse.osgi.compatibility.state_1.1.0.v20170516-1513.jar
osgi.bundles.defaultStartLevel=4
eclipse.p2.data.area=@config.dir/../p2
eclipse.application=org.lamport.tla.toolbox.application