TLA+ Workbench crash configuration

crash_configuration.txt

*** Date: Saturday, December 28, 2019 at 10:48:27 AM Eastern Standard Time

*** Platform Details:

*** System properties:
applicationXMI=org.eclipse.ui.workbench/LegacyIDE.e4xmi
awt.toolkit=sun.lwawt.macosx.LWCToolkit
ds.delayed.keepInstances=true
eclipse.application=org.lamport.tla.toolbox.application
eclipse.buildId=1.6.0
eclipse.commands=-os
macosx
-ws
cocoa
-arch
x86_64
-showsplash
-launcher
/Applications/TLA+ Toolbox.app/Contents/MacOS/toolbox
-name
TLA+ Toolbox
--launcher.library
/Applications/TLA+ Toolbox.app/Contents/MacOS//../Eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.1.800.v20180827-1352/eclipse_1800.so
-startup
/Applications/TLA+ Toolbox.app/Contents/MacOS//../Eclipse/plugins/org.eclipse.equinox.launcher_1.5.100.v20180827-1352.jar
--launcher.overrideVmargs
-keyring
/Users/andrew/.eclipse_keyring
-vm
/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.lamport.openjdk.macosx.x86_64_11.0.3.1/Contents/Home/bin/../lib/server/libjvm.dylib
eclipse.home.location=file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/
eclipse.launcher=/Applications/TLA+ Toolbox.app/Contents/MacOS/toolbox
eclipse.launcher.name=TLA+ Toolbox
[email protected]/../p2
eclipse.p2.profile=DefaultProfile
eclipse.product=org.lamport.tla.toolbox.product.standalone.product
eclipse.startTime=1577547042466
eclipse.stateSaveDelayInterval=30000
eclipse.vm=/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.lamport.openjdk.macosx.x86_64_11.0.3.1/Contents/Home/bin/../lib/server/libjvm.dylib
eclipse.vmargs=-XX:+IgnoreUnrecognizedVMOptions
-Xmx1024m
-XX:+UseParallelGC
-Dorg.eclipse.equinox.http.jetty.http.port=10996
-Dosgi.splashPath=platform:/base/
-Dosgi.requiredJavaVersion=11.0
[email protected]/.tlaplus/
-Dosgi.clean=true
-XstartOnFirstThread
-Dorg.eclipse.swt.internal.carbon.smallFonts
-Djava.class.path=/Applications/TLA+ Toolbox.app/Contents/MacOS//../Eclipse/plugins/org.eclipse.equinox.launcher_1.5.100.v20180827-1352.jar
equinox.init.uuid=true
equinox.use.ds=true
file.encoding=UTF-8
file.separator=/
ftp.nonProxyHosts=local|*.local|169.254/16|*.169.254/16
gopherProxySet=false
gosh.args=--nointeractive
java.awt.graphicsenv=sun.awt.CGraphicsEnvironment
java.awt.printerjob=sun.lwawt.macosx.CPrinterJob
java.class.path=/Applications/TLA+ Toolbox.app/Contents/MacOS//../Eclipse/plugins/org.eclipse.equinox.launcher_1.5.100.v20180827-1352.jar
java.class.version=55.0
java.home=/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.lamport.openjdk.macosx.x86_64_11.0.3.1/Contents/Home
java.io.tmpdir=/var/folders/s1/jkkyx1r53wb048ntn1z029pr0000gn/T/
java.library.path=/Users/andrew/Library/Java/Extensions:/Library/Java/Extensions:/Network/Library/Java/Extensions:/System/Library/Java/Extensions:/usr/lib/java:.
java.runtime.name=OpenJDK Runtime Environment
java.runtime.version=11.0.3+7
java.specification.name=Java Platform API Specification
java.specification.vendor=Oracle Corporation
java.specification.version=11
java.vendor=AdoptOpenJDK
java.vendor.url=https://adoptopenjdk.net/
java.vendor.url.bug=https://github.com/AdoptOpenJDK/openjdk-build/issues
java.vendor.version=AdoptOpenJDK
java.version=11.0.3
java.version.date=2019-04-16
java.vm.compressedOopsMode=Zero based
java.vm.info=mixed mode
java.vm.name=OpenJDK 64-Bit Server VM
java.vm.specification.name=Java Virtual Machine Specification
java.vm.specification.vendor=Oracle Corporation
java.vm.specification.version=11
java.vm.vendor=AdoptOpenJDK
java.vm.version=11.0.3+7
jdk.debug=release
jetty.git.hash=d5fc0523cfa96bfebfbda19606cad384d772f04c
line.separator=

org.eclipse.equinox.http.jetty.http.port=10996
org.eclipse.equinox.launcher.splash.location=/Applications/TLA+ Toolbox.app/Contents/Eclipse/splash.bmp
org.eclipse.equinox.simpleconfigurator.configUrl=file:org.eclipse.equinox.simpleconfigurator/bundles.info
org.eclipse.swt.internal.carbon.smallFonts=
org.eclipse.swt.internal.deviceZoom=200
org.eclipse.update.reconcile=false
org.osgi.framework.executionenvironment=OSGi/Minimum-1.0, OSGi/Minimum-1.1, OSGi/Minimum-1.2, JavaSE/compact1-1.8, JavaSE/compact2-1.8, JavaSE/compact3-1.8, JRE-1.1, J2SE-1.2, J2SE-1.3, J2SE-1.4, J2SE-1.5, JavaSE-1.6, JavaSE-1.7, JavaSE-1.8, JavaSE-9, JavaSE-10, JavaSE-11
org.osgi.framework.language=en
org.osgi.framework.os.name=MacOSX
org.osgi.framework.os.version=10.14.6
org.osgi.framework.processor=x86-64
org.osgi.framework.storage=/Applications/TLA+ Toolbox.app/Contents/Eclipse/configuration
org.osgi.framework.system.capabilities=osgi.ee; osgi.ee="OSGi/Minimum"; version:List<Version>="1.0, 1.1, 1.2", osgi.ee; osgi.ee="JRE"; version:List<Version>="1.0, 1.1", osgi.ee; osgi.ee="JavaSE"; version:List<Version>="1.0, 1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.7, 1.8, 9.0, 10.0, 11.0",osgi.ee; osgi.ee="JavaSE/compact1"; version:List<Version>="1.8, 9.0, 10.0, 11.0",osgi.ee; osgi.ee="JavaSE/compact2"; version:List<Version>="1.8, 9.0, 10.0, 11.0",osgi.ee; osgi.ee="JavaSE/compact3"; version:List<Version>="1.8, 9.0, 10.0, 11.0"
org.osgi.framework.system.packages=com.sun.java.accessibility.util, com.sun.management, com.sun.net.httpserver, com.sun.net.httpserver.spi, com.sun.nio.file, com.sun.nio.sctp, com.sun.security.auth, com.sun.security.auth.callback, com.sun.security.auth.login, com.sun.security.auth.module, com.sun.security.jgss, java.applet, java.awt, java.awt.color, java.awt.datatransfer, java.awt.desktop, java.awt.dnd, java.awt.event, java.awt.font, java.awt.geom, java.awt.im, java.awt.im.spi, java.awt.image, java.awt.image.renderable, java.awt.print, java.beans, java.beans.beancontext, java.io, java.lang, java.lang.annotation, java.lang.instrument, java.lang.invoke, java.lang.management, java.lang.module, java.lang.ref, java.lang.reflect, java.math, java.net, java.net.http, java.net.spi, java.nio, java.nio.channels, java.nio.channels.spi, java.nio.charset, java.nio.charset.spi, java.nio.file, java.nio.file.attribute, java.nio.file.spi, java.rmi, java.rmi.activation, java.rmi.dgc, java.rmi.registry, java.rmi.server, java.security, java.security.acl, java.security.cert, java.security.interfaces, java.security.spec, java.sql, java.text, java.text.spi, java.time, java.time.chrono, java.time.format, java.time.temporal, java.time.zone, java.util, java.util.concurrent, java.util.concurrent.atomic, java.util.concurrent.locks, java.util.function, java.util.jar, java.util.logging, java.util.prefs, java.util.regex, java.util.spi, java.util.stream, java.util.zip, javax.accessibility, javax.annotation.processing, javax.crypto, javax.crypto.interfaces, javax.crypto.spec, javax.imageio, javax.imageio.event, javax.imageio.metadata, javax.imageio.plugins.bmp, javax.imageio.plugins.jpeg, javax.imageio.plugins.tiff, javax.imageio.spi, javax.imageio.stream, javax.lang.model, javax.lang.model.element, javax.lang.model.type, javax.lang.model.util, javax.management, javax.management.loading, javax.management.modelmbean, javax.management.monitor, javax.management.openmbean, javax.management.relation, javax.management.remote, javax.management.remote.rmi, javax.management.timer, javax.naming, javax.naming.directory, javax.naming.event, javax.naming.ldap, javax.naming.spi, javax.net, javax.net.ssl, javax.print, javax.print.attribute, javax.print.attribute.standard, javax.print.event, javax.rmi.ssl, javax.script, javax.security.auth, javax.security.auth.callback, javax.security.auth.kerberos, javax.security.auth.login, javax.security.auth.spi, javax.security.auth.x500, javax.security.cert, javax.security.sasl, javax.smartcardio, javax.sound.midi, javax.sound.midi.spi, javax.sound.sampled, javax.sound.sampled.spi, javax.sql, javax.sql.rowset, javax.sql.rowset.serial, javax.sql.rowset.spi, javax.swing, javax.swing.border, javax.swing.colorchooser, javax.swing.event, javax.swing.filechooser, javax.swing.plaf, javax.swing.plaf.basic, javax.swing.plaf.metal, javax.swing.plaf.multi, javax.swing.plaf.nimbus, javax.swing.plaf.synth, javax.swing.table, javax.swing.text, javax.swing.text.html, javax.swing.text.html.parser, javax.swing.text.rtf, javax.swing.tree, javax.swing.undo, javax.tools, javax.transaction.xa, javax.xml, javax.xml.catalog, javax.xml.crypto, javax.xml.crypto.dom, javax.xml.crypto.dsig, javax.xml.crypto.dsig.dom, javax.xml.crypto.dsig.keyinfo, javax.xml.crypto.dsig.spec, javax.xml.datatype, javax.xml.namespace, javax.xml.parsers, javax.xml.stream, javax.xml.stream.events, javax.xml.stream.util, javax.xml.transform, javax.xml.transform.dom, javax.xml.transform.sax, javax.xml.transform.stax, javax.xml.transform.stream, javax.xml.validation, javax.xml.xpath, jdk.dynalink, jdk.dynalink.beans, jdk.dynalink.linker, jdk.dynalink.linker.support, jdk.dynalink.support, jdk.jfr, jdk.jfr.consumer, jdk.management.jfr, jdk.nashorn.api.scripting, jdk.nashorn.api.tree, jdk.net, jdk.nio, netscape.javascript, org.ietf.jgss, org.w3c.dom, org.w3c.dom.bootstrap, org.w3c.dom.css, org.w3c.dom.events, org.w3c.dom.html, org.w3c.dom.ls, org.w3c.dom.ranges, org.w3c.dom.stylesheets, org.w3c.dom.traversal, org.w3c.dom.views, org.w3c.dom.xpath, org.xml.sax, org.xml.sax.ext, org.xml.sax.helpers, sun.misc, sun.reflect
org.osgi.framework.uuid=c1bbcf6d-8e76-4fc9-850b-12202a41306b
org.osgi.framework.vendor=Eclipse
org.osgi.framework.version=1.9.0
org.osgi.supports.framework.extension=true
org.osgi.supports.framework.fragment=true
org.osgi.supports.framework.requirebundle=true
os.arch=x86_64
os.name=Mac OS X
os.version=10.14.6
osgi.arch=x86_64
osgi.bundles=reference:file:org.eclipse.osgi.compatibility.state_1.1.200.v20180827-1536.jar,reference:file:org.eclipse.equinox.simpleconfigurator_1.3.100.v20180827-1122.jar@1:start
osgi.bundles.defaultStartLevel=4
osgi.clean=true
osgi.compatibility.bootdelegation=true
osgi.compatibility.bootdelegation.default=true
osgi.configuration.area=file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/configuration/
osgi.framework=file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.eclipse.osgi_3.13.100.v20180827-1536.jar
osgi.framework.extensions=reference:file:org.eclipse.osgi.compatibility.state_1.1.200.v20180827-1536.jar
osgi.framework.shape=jar
osgi.framework.useSystemProperties=true
osgi.frameworkClassPath=., file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.eclipse.osgi.compatibility.state_1.1.200.v20180827-1536.jar
osgi.install.area=file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/
osgi.instance.area=file:/Users/andrew/.tlaplus/
osgi.instance.area.default=file:/Users/andrew/.tlaplus/
osgi.logfile=/Users/andrew/.tlaplus/.metadata/.log
osgi.nl=en_US
osgi.os=macosx
osgi.requiredJavaVersion=11.0
osgi.splashLocation=/Applications/TLA+ Toolbox.app/Contents/Eclipse/splash.bmp
osgi.splashPath=platform:/base/
osgi.syspath=/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins
osgi.tracefile=/Users/andrew/.tlaplus/.metadata/trace.log
osgi.ws=cocoa
path.separator=:
socksNonProxyHosts=local|*.local|169.254/16|*.169.254/16
sun.arch.data.model=64
sun.boot.library.path=/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.lamport.openjdk.macosx.x86_64_11.0.3.1/Contents/Home/lib
sun.cpu.endian=little
sun.cpu.isalist=
sun.io.unicode.encoding=UnicodeBig
sun.jnu.encoding=UTF-8
sun.management.compiler=HotSpot 64-Bit Tiered Compilers
sun.os.patch.level=unknown
user.country=US
user.dir=/Applications/TLA+ Toolbox.app/Contents/MacOS
user.home=/Users/andrew
user.language=en
user.name=andrew
user.timezone=America/New_York

*** System environment variables:
Apple_PubSub_Socket_Render=/private/tmp/com.apple.launchd.kSQUPmpYWI/Render
HOME=/Users/andrew
JAVA_STARTED_ON_FIRST_THREAD_23839=1
LOGNAME=andrew
PATH=/usr/bin:/bin:/usr/sbin:/sbin
SHELL=/bin/bash
SSH_AUTH_SOCK=/private/tmp/com.apple.launchd.YX2aeVo3jW/Listeners
TMPDIR=/var/folders/s1/jkkyx1r53wb048ntn1z029pr0000gn/T/
USER=andrew
XPC_FLAGS=0x0
XPC_SERVICE_NAME=org.lamport.tla.toolbox.product.product.43552
__CF_USER_TEXT_ENCODING=0x1F5:0x0:0x0

*** Features:
org.eclipse.emf.common (2.15.0.v20180723-1316) "EMF Common"
org.eclipse.emf.ecore (2.15.0.v20180722-1159) "EMF Ecore"
org.eclipse.help (2.2.300.v20180906-0745) "Help System Base"
org.eclipse.rcp (4.9.0.v20180906-1121) "Eclipse RCP"
org.eclipse.recommenders.news.rcp.feature (2.5.4.v20180909-1132) "Code Recommenders News"
org.lamport.tla.toolbox.feature.base (1.0.0.201907102009) "TLA+ Toolbox Base"
org.lamport.tla.toolbox.feature.editor (1.0.0.201907102009) "TLA+ Basic Editor"
org.lamport.tla.toolbox.feature.jclouds (1.0.0.201907102009) "JCloud distributed TLC provider"
org.lamport.tla.toolbox.feature.jnlp (1.0.0.201907102009) "Distributed extensions for the TLA+ Toolbox"
org.lamport.tla.toolbox.feature.prover (1.0.0.201907102009) "Prover Launching UI"
org.lamport.tla.toolbox.feature.standalone (1.0.0.201907102009) "TLA+ Toolbox Standalone Product"

*** Plug-in Registry:
aws-ec2 (2.1.2) "jclouds Amazon EC2 provider" [Active]
aws-s3 (2.1.2) "jclouds Amazon Simple Storage Service (S3) provider" [Resolved]
azurecompute-arm (2.1.2) "jclouds Azure Compute ARM API" [Active]
bcpkix (1.58) "bcpkix" [Resolved]
bcprov (1.58) "bcprov" [Resolved]
bcprov-ext (1.58) "bcprov-ext" [Resolved]
com.abstratt.content (2.5.201812) "Content Plug-in" [Resolved]
com.abstratt.graphviz (2.5.201812) "Graphviz Plug-in" [Starting]
com.abstratt.graphviz.ui (2.5.201812) "Graphviz DOT Viewer" [Starting]
com.abstratt.imageviewer (2.5.201812) "Generic Image Viewer Plug-in" [Starting]
com.abstratt.pluginutils (2.5.201812) "Plug-in Utils" [Resolved]
com.google.gson (2.5) "Gson" [Resolved]
com.google.guava (21.0.0.v20170206-1425) "Guava: Google Core Libraries for Java" [Resolved]
com.google.guava (15.0.0.v201403281430) "Guava: Google Core Libraries for Java" [Resolved]
com.google.inject (3.0.0) "guice" [Resolved]
com.google.inject.assistedinject (3.0.0) "guice-assistedinject" [Resolved]
com.hierynomus.sshj (0.21.1) "sshj" [Resolved]
com.ibm.icu (62.1.0.v20180727-1652) "ICU4J" [Active]
com.jcraft.jsch (0.1.54.v20170116-1932) "JSch" [Active]
com.jcraft.jsch.agentproxy.osgi (0.0.9) "Wrapper bundle containing all jsch dependent bundles" [Resolved]
com.sun.el (2.2.0.v201303151357) "Javax Expression Language Reference Implementation Bundle" [Resolved]
com.sun.jna (4.1.0) "jna" [Starting]
com.sun.jna.platform (4.1.0) "jna-platform" [Resolved]
de.vonloesch.pdf4Eclipse (1.1.0.201907070246) "Pdf4Eclipse" [Starting]
ec2 (2.1.2) "jclouds ec2 api" [Active]
javax.activation (1.1.0.v201211130549) "Apache Geronimo Activation Plug-in" [Resolved]
javax.annotation (1.2.0.v201602091430) "javax.annotation Bundle" [Resolved]
javax.el (2.2.0.v201303151357) "Javax Expression Language Bundle" [Resolved]
javax.inject (1.0.0.v20091030) "Atinject Dependency Injection Annotations" [Resolved]
javax.mail (1.4.0.v201005080615) "Javax Mail Plug-in" [Resolved]
javax.servlet (3.1.0.v201410161800) "Servlet API Bundle" [Resolved]
javax.servlet.jsp (2.2.0.v201112011158) "JSP API Bundle" [Resolved]
javax.ws.rs-api (2.1.99.b01) "javax.ws.rs-api" [Resolved]
jaxb-api (2.3.1) "jaxb-api" [Resolved]
jclouds-blobstore (2.1.2) "jclouds blobstore core" [Resolved]
jclouds-bouncycastle (2.1.2) "jclouds bouncycastle EncryptionService Module" [Resolved]
jclouds-compute (2.1.2) "jclouds compute core" [Resolved]
jclouds-core (2.1.2) "jclouds Components Core" [Active]
jclouds-enterprise (2.1.2) "jclouds enterprise Module" [Resolved]
jclouds-joda (2.1.2) "jclouds joda DateService Module" [Resolved]
jclouds-netty (2.1.2) "jclouds netty payload module" [Resolved]
jclouds-okhttp (2.1.2) "jclouds OkHttp Driver" [Resolved]
jclouds-scriptbuilder (2.1.2) "jclouds script builder" [Resolved]
jclouds-slf4j (2.1.2) "jclouds SLF4J Logging Module" [Resolved]
jclouds-sshj (2.1.2) "jclouds sshj ssh client" [Resolved]
joda-time (2.1) "Joda-Time" [Resolved]
net.i2p.crypto.eddsa (0.1.0) "ed25519-java" [Resolved]
oauth (2.1.2) "jclouds OAuth core" [Resolved]
org.apache.batik.constants (1.10.0.v20180703-1553) "Batik constants library" [Resolved]
org.apache.batik.css (1.10.0.v20180703-1553) "Batik CSS engine" [Resolved]
org.apache.batik.i18n (1.10.0.v20180703-1553) "Batik i18n library" [Resolved]
org.apache.batik.util (1.10.0.v20180703-1553) "Batik utility library" [Resolved]
org.apache.commons.beanutils (1.8.0.v201205091237) "Apache Commons BeanUtils" [Resolved]
org.apache.commons.codec (1.10.0.v20180409-1845) "Apache Commons Codec" [Resolved]
org.apache.commons.collections (3.2.2.v201511171945) "Apache Commons Collections" [Resolved]
org.apache.commons.io (2.2.0.v201405211200) "Apache Commons IO" [Resolved]
org.apache.commons.io (2.0.1.v201105210651) "Apache Commons IO" [Resolved]
org.apache.commons.jxpath (1.3.0.v200911051830) "Apache Commons JXPath" [Resolved]
org.apache.commons.lang (2.6.0.v201404270220) "Apache Commons Lang" [Resolved]
org.apache.commons.lang3 (3.1.0.v201403281430) "Apache Commons Lang" [Resolved]
org.apache.commons.logging (1.2.0.v20180409-1502) "Apache Commons Logging" [Resolved]
org.apache.felix.gogo.command (1.0.2.v20170914-1324) "Apache Felix Gogo Command" [Active]
org.apache.felix.gogo.runtime (1.1.0.v20180713-1646) "Apache Felix Gogo Runtime" [Active]
org.apache.felix.gogo.shell (1.1.0.v20180713-1646) "Apache Felix Gogo Shell" [Active]
org.apache.felix.scr (2.0.14.v20180822-1822) "Apache Felix Declarative Services" [Active]
org.apache.httpcomponents.httpclient (4.5.5.v20180409-1525) "Apache HttpClient" [Resolved]
org.apache.httpcomponents.httpcore (4.4.9.v20180409-1525) "Apache HttpCore" [Resolved]
org.apache.jasper.glassfish (2.2.2.v201501141630) "JSP 2.2 implementation from Glassfish" [Resolved]
org.apache.lucene.analyzers-common (7.1.0.v20180122-2126) "Lucene Common Analyzers" [Resolved]
org.apache.lucene.analyzers-smartcn (7.1.0.v20180122-2126) "Lucene Smart Chinese Analyzer" [Resolved]
org.apache.lucene.core (7.1.0.v20171214-1510) "Lucene Core" [Resolved]
org.apache.servicemix.bundles.aopalliance (1.0.0.6) "Apache ServiceMix :: Bundles :: aopalliance" [Resolved]
org.apache.servicemix.bundles.java-xmlbuilder (0.6.0.1) "Apache ServiceMix :: Bundles :: java-xmlbuilder" [Resolved]
org.apache.servicemix.bundles.javax-inject (1.0.0.2) "Apache ServiceMix :: Bundles :: javax.inject" [Resolved]
org.apache.servicemix.bundles.jsch (0.1.51.1) "Apache ServiceMix :: Bundles :: jsch" [Resolved]
org.apache.servicemix.bundles.jzlib (1.1.3.2) "Apache ServiceMix :: Bundles :: jzlib" [Resolved]
org.apache.servicemix.bundles.okhttp (2.2.0.1) "Apache ServiceMix :: Bundles :: okhttp" [Resolved]
org.apache.servicemix.bundles.okio (1.2.0.1) "Apache ServiceMix :: Bundles :: okio" [Resolved]
org.apache.xmlgraphics (2.2.0.v20180809-1640) "Apache XML Graphics Commons" [Resolved]
org.aspectj.runtime (1.9.0.201805281636) "AspectJ Runtime" [Resolved]
org.eclipse.compare (3.7.300.v20180827-1041) "Compare Support" [Active]
org.eclipse.compare.core (3.6.300.v20180827-1041) "Core Compare Support" [Active]
org.eclipse.core.commands (3.9.200.v20180827-1727) "Commands" [Resolved]
org.eclipse.core.contenttype (3.7.100.v20180817-1401) "Eclipse Content Mechanism" [Active]
org.eclipse.core.databinding (1.7.0.v20180827-2028) "JFace Data Binding" [Starting]
org.eclipse.core.databinding.beans (1.4.200.v20180827-2028) "JFace Data Binding for JavaBeans" [Resolved]
org.eclipse.core.databinding.observable (1.6.300.v20180827-2028) "JFace Data Binding Observables" [Resolved]
org.eclipse.core.databinding.property (1.6.300.v20180827-2028) "JFace Data Binding Properties" [Starting]
org.eclipse.core.expressions (3.6.200.v20180817-1401) "Expression Language" [Active]
org.eclipse.core.filebuffers (3.6.300.v20180822-1339) "File Buffers" [Active]
org.eclipse.core.filesystem (1.7.200.v20180828-0158) "Core File Systems" [Active]
org.eclipse.core.filesystem.macosx (1.3.100.v20180828-0158) "Core File System for Macintosh" [Resolved]
org.eclipse.core.jobs (3.10.100.v20180817-1215) "Eclipse Jobs Mechanism" [Active]
org.eclipse.core.net (1.3.300.v20180827-1041) "Internet Connection Management" [Active]
org.eclipse.core.resources (3.13.100.v20180828-0158) "Core Resource Management" [Active]
org.eclipse.core.runtime (3.15.0.v20180817-1401) "Core Runtime" [Active]
org.eclipse.core.variables (3.4.200.v20180821-1744) "Core Variables" [Starting]
org.eclipse.debug.core (3.13.0.v20180821-1744) "Debug Core" [Active]
org.eclipse.e4.core.commands (0.12.300.v20180828-0227) "Eclipse e4 core commands" [Resolved]
org.eclipse.e4.core.contexts (1.7.100.v20180817-1215) "Eclipse Contexts" [Active]
org.eclipse.e4.core.di (1.7.100.v20180817-1215) "Eclipse Dependency Injection" [Active]
org.eclipse.e4.core.di.annotations (1.6.200.v20180817-1215) "Eclipse Dependency Injection Annotations" [Resolved]
org.eclipse.e4.core.di.extensions (0.15.200.v20180817-1215) "Eclipse Dependency Injection Extensions" [Active]
org.eclipse.e4.core.di.extensions.supplier (0.15.200.v20180817-1215) "Eclipse Dependency Injection Extensions Supplier" [Active]
org.eclipse.e4.core.services (2.1.200.v20180817-1215) "Eclipse Application Services" [Active]
org.eclipse.e4.emf.xpath (0.2.200.v20180828-0227) "Eclipse Model Xpath" [Resolved]
org.eclipse.e4.ui.bindings (0.12.200.v20180828-0227) "Eclipse Bindings Support" [Active]
org.eclipse.e4.ui.css.core (0.12.300.v20180828-0227) "Eclipse CSS Core Support" [Resolved]
org.eclipse.e4.ui.css.swt (0.13.200.v20180828-0227) "Eclipse CSS SWT Support" [Active]
org.eclipse.e4.ui.css.swt.theme (0.12.100.v20180828-0227) "Eclipse CSS SWT Theme Support" [Active]
org.eclipse.e4.ui.di (1.2.300.v20180906-1121) "Eclipse UI Dependency Injection" [Active]
org.eclipse.e4.ui.dialogs (1.1.300.v20180828-0227) "Eclipse e4 dialogs" [Resolved]
org.eclipse.e4.ui.model.workbench (2.1.100.v20180904-1914) "Eclipse Workbench Model" [Active]
org.eclipse.e4.ui.services (1.3.200.v20180906-1121) "Eclipse UI Application Services" [Active]
org.eclipse.e4.ui.widgets (1.2.200.v20180828-0227) "Eclipse UI Custom widgets" [Resolved]
org.eclipse.e4.ui.workbench (1.7.0.v20180906-1121) "Eclipse e4 Workbench" [Active]
org.eclipse.e4.ui.workbench.addons.swt (1.3.200.v20180828-0227) "Eclipse e4 Workbench Add-ons" [Active]
org.eclipse.e4.ui.workbench.renderers.swt (0.14.300.v20180828-0227) "Eclipse e4 Workbench SWT Renderer" [Active]
org.eclipse.e4.ui.workbench.renderers.swt.cocoa (0.12.100.v20180828-0227) "Eclipse UI MacOS X Enhancements" [Resolved]
org.eclipse.e4.ui.workbench.swt (0.14.300.v20180906-1121) "Eclipse e4 Workbench SWT" [Active]
org.eclipse.e4.ui.workbench3 (0.14.200.v20180828-0227) "Bundle for Workbench APIs available in e4" [Resolved]
org.eclipse.ecf (3.9.1.v20180801-1752) "ECF Core API" [Active]
org.eclipse.ecf.filetransfer (5.0.100.v20180301-0132) "ECF Filetransfer API" [Active]
org.eclipse.ecf.identity (3.9.1.v20180810-0833) "ECF Identity Core API" [Active]
org.eclipse.ecf.provider.filetransfer (3.2.400.v20180306-0429) "ECF Filetransfer Provider" [Active]
org.eclipse.ecf.provider.filetransfer.httpclient4 (1.1.300.v20180301-0132) "ECF HttpComponents Filetransfer Provider" [Active]
org.eclipse.ecf.provider.filetransfer.httpclient4.ssl (1.1.100.v20180301-0132) "ECF HttpComponents Filetransfer Provider" [Resolved]
org.eclipse.ecf.provider.filetransfer.ssl (1.0.100.v20180301-0132) "ECF Filetransfer Provider" [Resolved]
org.eclipse.ecf.ssl (1.2.100.v20180301-0132) "ECF Core API" [Resolved]
org.eclipse.emf.common (2.15.0.v20180723-1316) "EMF Common" [Active]
org.eclipse.emf.ecore (2.15.0.v20180722-1159) "EMF Ecore" [Active]
org.eclipse.emf.ecore.change (2.13.0.v20180706-1146) "EMF Change Model" [Starting]
org.eclipse.emf.ecore.xmi (2.15.0.v20180706-1146) "EMF XML/XMI Persistence" [Active]
org.eclipse.equinox.app (1.3.600.v20180827-1235) "Equinox Application Container" [Active]
org.eclipse.equinox.bidi (1.1.200.v20180827-1235) "Bidirectional Text Support" [Starting]
org.eclipse.equinox.common (3.10.100.v20180827-1235) "Common Eclipse Runtime" [Active]
org.eclipse.equinox.concurrent (1.1.200.v20180827-1235) "Equinox Concurrent API" [Active]
org.eclipse.equinox.console (1.3.100.v20180827-1235) "Console plug-in" [Active]
org.eclipse.equinox.ds (1.5.200.v20180827-1235) "Declarative Services" [Active]
org.eclipse.equinox.event (1.4.300.v20180827-1235) "Event Admin" [Active]
org.eclipse.equinox.frameworkadmin (2.1.100.v20180822-1258) "Equinox Framework Admin" [Active]
org.eclipse.equinox.frameworkadmin.equinox (1.1.100.v20180822-1258) "Equinox Framework Admin for Equinox" [Active]
org.eclipse.equinox.http.jetty (3.6.100.v20180827-1235) "Jetty Http Service" [Active]
org.eclipse.equinox.http.registry (1.1.600.v20180827-1235) "Http Service Registry Extensions" [Active]
org.eclipse.equinox.http.servlet (1.5.100.v20180904-1442) "Http Services Servlet" [Active]
org.eclipse.equinox.jsp.jasper (1.1.100.v20180827-1235) "Jasper Jsp Support Bundle" [Starting]
org.eclipse.equinox.jsp.jasper.registry (1.1.100.v20180827-1235) "Jasper Jsp Registry Support Plug-in" [Starting]
org.eclipse.equinox.launcher (1.5.100.v20180827-1352) "Equinox Launcher" [Resolved]
org.eclipse.equinox.launcher.cocoa.macosx.x86_64 (1.1.800.v20180827-1352) "Equinox Launcher MacOSX Cocoa Fragment" [Resolved]
org.eclipse.equinox.p2.artifact.repository (1.2.100.v20180822-1258) "Equinox Provisioning Artifact Repository Support" [Active]
org.eclipse.equinox.p2.console (1.1.100.v20180822-1258) "Equinox Provisioning Console" [Starting]
org.eclipse.equinox.p2.core (2.5.100.v20180822-1532) "Equinox Provisioning Core" [Active]
org.eclipse.equinox.p2.director (2.4.100.v20180822-1258) "Equinox Provisioning Director" [Active]
org.eclipse.equinox.p2.director.app (1.1.200.v20180822-1302) "Equinox Provisioning Director Application" [Starting]
org.eclipse.equinox.p2.engine (2.6.100.v20180822-1302) "Equinox Provisioning Engine" [Active]
org.eclipse.equinox.p2.garbagecollector (1.1.100.v20180822-1302) "Equinox Provisioning Garbage Collector" [Active]
org.eclipse.equinox.p2.jarprocessor (1.1.100.v20180822-1302) "Equinox Provisioning JAR Processor" [Resolved]
org.eclipse.equinox.p2.metadata (2.4.100.v20180822-1302) "Equinox Provisioning Metadata" [Active]
org.eclipse.equinox.p2.metadata.repository (1.3.100.v20180822-1302) "Equinox Provisioning Metadata Repository" [Active]
org.eclipse.equinox.p2.operations (2.5.100.v20180822-1302) "Equinox Provisioning Operations API" [Active]
org.eclipse.equinox.p2.repository (2.4.100.v20180822-1354) "Equinox Provisioning Repository" [Active]
org.eclipse.equinox.p2.touchpoint.eclipse (2.2.100.v20180822-1354) "Equinox Provisioning Eclipse Touchpoint" [Starting]
org.eclipse.equinox.p2.touchpoint.natives (1.3.100.v20180822-1354) "Equinox Provisioning Native Touchpoint" [Starting]
org.eclipse.equinox.p2.transport.ecf (1.2.100.v20180822-1354) "Equinox Provisioning ECF based Transport" [Active]
org.eclipse.equinox.p2.ui (2.5.200.v20180822-1357) "Equinox Provisioning UI Support" [Active]
org.eclipse.equinox.p2.ui.sdk (1.1.100.v20180827-1122) "Equinox Provisioning Platform Update Support" [Active]
org.eclipse.equinox.p2.ui.sdk.scheduler (1.4.100.v20180827-1122) "Equinox Provisioning Platform Automatic Update Support" [Active]
org.eclipse.equinox.p2.updatechecker (1.2.100.v20180827-1122) "Equinox Provisioning Update Checker" [Active]
org.eclipse.equinox.preferences (3.7.200.v20180827-1235) "Eclipse Preferences Mechanism" [Active]
org.eclipse.equinox.registry (3.8.100.v20180827-1235) "Extension Registry Support" [Active]
org.eclipse.equinox.security (1.2.500.v20180827-1235) "Equinox Java Authentication and Authorization Service (JAAS)" [Active]
org.eclipse.equinox.security.macosx (1.101.100.v20180827-1235) "OS X Keystore service integration" [Resolved]
org.eclipse.equinox.security.ui (1.2.100.v20180827-1235) "Equinox Security Default UI" [Active]
org.eclipse.equinox.simpleconfigurator (1.3.100.v20180827-1122) "Simple Configurator" [Active]
org.eclipse.equinox.simpleconfigurator.manipulator (2.1.100.v20180827-1122) "Simple Configurator Manipulator" [Starting]
org.eclipse.equinox.util (1.1.100.v20180827-1235) "Equinox Util Bundle" [Starting]
org.eclipse.help (3.8.200.v20180821-0700) "Help System Core" [Active]
org.eclipse.help.base (4.2.300.v20180906-0745) "Help System Base" [Starting]
org.eclipse.help.ui (4.1.200.v20180821-0700) "Help System UI" [Starting]
org.eclipse.help.webapp (3.9.200.v20180821-0700) "Help System Webapp" [Starting]
org.eclipse.jdt.annotation (1.1.300.v20180905-0314) "JDT Annotations for Enhanced Null Analysis" [Resolved]
org.eclipse.jdt.core (3.15.0.v20180905-0317) "Java Development Tools Core" [Starting]
org.eclipse.jdt.debug (3.12.0.v20180827-1040) "JDI Debug Model" [Starting]
org.eclipse.jdt.launching (3.11.0.v20180827-1040) "Java Development Tools Launching Support" [Starting]
org.eclipse.jdt.launching.macosx (3.4.200.v20180823-0805) "Mac OS X Launcher" [Starting]
org.eclipse.jetty.continuation (9.4.11.v20180605) "Jetty :: Continuation" [Resolved]
org.eclipse.jetty.http (9.4.11.v20180605) "Jetty :: Http Utility" [Resolved]
org.eclipse.jetty.io (9.4.11.v20180605) "Jetty :: IO Utility" [Resolved]
org.eclipse.jetty.security (9.4.11.v20180605) "Jetty :: Security" [Resolved]
org.eclipse.jetty.server (9.4.11.v20180605) "Jetty :: Server Core" [Resolved]
org.eclipse.jetty.servlet (9.4.11.v20180605) "Jetty :: Servlet Handling" [Resolved]
org.eclipse.jetty.util (9.4.11.v20180605) "Jetty :: Utilities" [Resolved]
org.eclipse.jface (3.14.100.v20180828-0836) "JFace" [Resolved]
org.eclipse.jface.databinding (1.8.300.v20180828-0836) "JFace Data Binding for SWT and JFace" [Resolved]
org.eclipse.jface.text (3.14.0.v20180824-1140) "JFace Text" [Resolved]
org.eclipse.mylyn.commons.core (3.24.2.v20180904-2231) "Mylyn Commons" [Active]
org.eclipse.mylyn.commons.notifications.core (1.16.0.v20180904-2231) "Mylyn Commons" [Active]
org.eclipse.mylyn.commons.notifications.feed (1.16.0.v20180904-2231) "Mylyn Commons" [Active]
org.eclipse.mylyn.commons.notifications.ui (1.16.0.v20180904-2231) "Mylyn Commons" [Active]
org.eclipse.mylyn.commons.screenshots (3.24.2.v20180904-2231) "Mylyn Commons" [Resolved]
org.eclipse.mylyn.commons.ui (3.24.2.v20180904-2231) "Mylyn Commons UI" [Starting]
org.eclipse.mylyn.commons.workbench (3.24.2.v20180904-2231) "Mylyn Commons UI" [Starting]
org.eclipse.osgi (3.13.100.v20180827-1536) "OSGi System Bundle" [Active]
org.eclipse.osgi.compatibility.state (1.1.200.v20180827-1536) "Equinox State and Resolver Compatibility Fragment" [Resolved]
org.eclipse.osgi.services (3.7.100.v20180827-1536) "OSGi Release 4.2.0 Services" [Resolved]
org.eclipse.osgi.util (3.5.100.v20180827-1536) "OSGi Release 4.2.0 Utility Classes" [Resolved]
org.eclipse.rcp (4.9.100.v20180906-0745) "Eclipse RCP" [Starting]
org.eclipse.recommenders.news (2.5.4.v20180909-1132) "Code Recommenders News" [Resolved]
org.eclipse.recommenders.news.api (2.5.4.v20180909-1132) "Code Recommenders News API" [Resolved]
org.eclipse.recommenders.news.impl (2.5.4.v20180909-1132) "Code Recommenders News Implementation" [Active]
org.eclipse.recommenders.news.rcp (2.5.4.v20180909-1132) "Code Recommenders News UI" [Resolved]
org.eclipse.swt (3.108.0.v20180904-1901) "Standard Widget Toolkit" [Resolved]
org.eclipse.swt.cocoa.macosx.x86_64 (3.108.0.v20180904-1901) "Standard Widget Toolkit for Mac OS X (Cocoa)" [Resolved]
org.eclipse.team.core (3.8.300.v20180827-1041) "Team Support Core" [Active]
org.eclipse.team.ui (3.8.200.v20180827-1338) "Team Support UI" [Starting]
org.eclipse.text (3.7.0.v20180822-1511) "Text" [Resolved]
org.eclipse.ui (3.110.0.v20180828-1350) "Eclipse UI" [Active]
org.eclipse.ui.browser (3.6.300.v20180828-0837) "Browser Support" [Starting]
org.eclipse.ui.cocoa (1.2.100.v20180828-0838) "Eclipse UI MacOS X Enhancements" [Resolved]
org.eclipse.ui.console (3.8.100.v20180821-1744) "Console" [Starting]
org.eclipse.ui.editors (3.11.200.v20180822-1511) "Default Text Editor" [Active]
org.eclipse.ui.forms (3.7.300.v20180828-1350) "Eclipse Forms" [Resolved]
org.eclipse.ui.ide (3.14.100.v20180828-1350) "Eclipse IDE UI" [Active]
org.eclipse.ui.intro (3.5.300.v20180823-1505) "Welcome Framework" [Starting]
org.eclipse.ui.intro.quicklinks (1.0.300.v20180821-0700) "Quicklinks for the Welcome Framework" [Starting]
org.eclipse.ui.intro.universal (3.3.300.v20180821-0700) "Universal Welcome" [Starting]
org.eclipse.ui.navigator (3.7.200.v20180828-0837) "Common Navigator View" [Active]
org.eclipse.ui.net (1.3.300.v20180827-1041) "Internet Connection Management UI" [Active]
org.eclipse.ui.views (3.9.200.v20180828-0837) "Views" [Resolved]
org.eclipse.ui.views.properties.tabbed (3.8.200.v20180828-0837) "Tabbed Properties View" [Resolved]
org.eclipse.ui.workbench (3.112.0.v20180906-1121) "Eclipse Workbench" [Active]
org.eclipse.ui.workbench.texteditor (3.11.100.v20180824-1030) "Text Editor Framework" [Active]
org.eclipse.update.configurator (3.4.100.v20180821-1913) "Install/Update Configurator" [Active]
org.hamcrest.core (1.3.0.v20180420-1519) "Hamcrest Core Library of Matchers" [Resolved]
org.jboss.netty (3.5.9.Final) "The Netty Project" [Resolved]
org.jpedal.pdf (4.74.27) "JPedal Pdf library" [Resolved]
org.junit (4.12.0.v201504281640) "JUnit Testing Framework" [Resolved]
org.lamport.openjdk.macosx.x86_64 (11.0.3.1) "OpenJDK macOS x86_64 JVM" [Resolved]
org.lamport.tla.toolbox (1.0.0.201907102009) "TLA+ Toolbox Base" [Active]
org.lamport.tla.toolbox.doc (1.5.4.201907102009) "TLA+ Toolbox Help" [Starting]
org.lamport.tla.toolbox.editor.basic (1.0.0.201907102009) "TLA+ Basic Editor" [Active]
org.lamport.tla.toolbox.jclouds (1.0.0.201907102009) "JCloud distributed TLC provider" [Active]
org.lamport.tla.toolbox.jnlp (1.0.0.201907102009) "Distributed extensions for the TLA+ Toolbox" [Resolved]
org.lamport.tla.toolbox.product.standalone (1.0.0.201907102009) "TLA+ Toolbox Standalone Product" [Active]
org.lamport.tla.toolbox.rss (1.0.0.201907102009) "Extends Mylyn Notification Feed for Java11" [Resolved]
org.lamport.tla.toolbox.tool.prover (1.0.0.201907102009) "Prover Launching UI" [Active]
org.lamport.tla.toolbox.tool.tla2tex (1.0.0.201907102009) "TLA+ Toolbox TLA2TeX" [Active]
org.lamport.tla.toolbox.tool.tlc (1.0.0.201907102009) "TLA+ Toolbox TLC" [Active]
org.lamport.tla.toolbox.tool.tlc.ui (1.0.0.201907102009) "TLC UI Plugin" [Active]
org.lamport.tlatools (1.0.0.201907102009) "TLA+ Tools" [Resolved]
org.sat4j.core (2.3.5.v201308161310) "SAT4J Core" [Resolved]
org.sat4j.pb (2.3.5.v201404071733) "SAT4J Pseudo" [Resolved]
org.tukaani.xz (1.8.0.v20180207-1613) "XZ for Java" [Resolved]
org.w3c.css.sac (1.3.1.v200903091627) "W3C CSS SAC" [Resolved]
org.w3c.dom.events (3.0.0.draft20060413_v201105210656) "W3C DOM Level 3 Events" [Resolved]
org.w3c.dom.smil (1.0.1.v200903091627) "W3C SMIL DOM" [Resolved]
org.w3c.dom.svg (1.1.0.v201011041433) "W3C SVG DOM" [Resolved]
packet (2.1.2) "jclouds Packet compute API" [Active]
s3 (2.1.2) "jclouds s3 api" [Resolved]
slf4j.api (1.7.25) "slf4j-api" [Resolved]
slf4j.nop (1.7.25) "slf4j-nop" [Resolved]
slf4j.simple (1.7.25) "slf4j-simple" [Resolved]
sts (2.1.2) "jclouds sts api" [Active]

*** User Preferences:
#Sat Dec 28 10:48:27 EST 2019
\!/=
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.AddedLinesRegex=
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.CappingDisable=false
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.HighlightTokenChanges=true
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.IgnoreWhitespace=false
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.InitiallyShowAncestorPane=false
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.NavigationEndAction=prompt
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.NavigationEndActionLocal=loop
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.OpenStructureCompare=true
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.PathFilter=
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.RemovedLinesRegex=
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.SaveAllEditors=false
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.ShowPseudoConflicts=false
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.Swapped=false
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.SynchronizeScrolling=true
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.UseOutlineView=false
/bundle_defaults/org.eclipse.compare/org.eclipse.compare.UseSingleLine=true
/bundle_defaults/org.eclipse.core.net/nonProxiedHosts=localhost|127.0.0.1
/bundle_defaults/org.eclipse.core.net/proxiesEnabled=true
/bundle_defaults/org.eclipse.core.net/proxyData/HTTP/hasAuth=false
/bundle_defaults/org.eclipse.core.net/proxyData/HTTP/port=-1
/bundle_defaults/org.eclipse.core.net/proxyData/HTTPS/hasAuth=false
/bundle_defaults/org.eclipse.core.net/proxyData/HTTPS/port=-1
/bundle_defaults/org.eclipse.core.net/proxyData/SOCKS/hasAuth=false
/bundle_defaults/org.eclipse.core.net/proxyData/SOCKS/port=-1
/bundle_defaults/org.eclipse.core.net/systemProxiesEnabled=true
/bundle_defaults/org.eclipse.core.resources/delta.expiration=2592000000
/bundle_defaults/org.eclipse.core.resources/description.applyfilestatepolicy=true
/bundle_defaults/org.eclipse.core.resources/description.autobuilding=true
/bundle_defaults/org.eclipse.core.resources/description.buildorder=
/bundle_defaults/org.eclipse.core.resources/description.defaultbuildorder=true
/bundle_defaults/org.eclipse.core.resources/description.disableLinking=false
/bundle_defaults/org.eclipse.core.resources/description.filestatelongevity=604800000
/bundle_defaults/org.eclipse.core.resources/description.maxbuilditerations=10
/bundle_defaults/org.eclipse.core.resources/description.maxfilestates=50
/bundle_defaults/org.eclipse.core.resources/description.maxfilestatesize=1048576
/bundle_defaults/org.eclipse.core.resources/description.snapshotinterval=300000
/bundle_defaults/org.eclipse.core.resources/encoding=
/bundle_defaults/org.eclipse.core.resources/maxConcurrentBuilds=1
/bundle_defaults/org.eclipse.core.resources/missingNatureMarkerSeverity=1
/bundle_defaults/org.eclipse.core.resources/refresh.enabled=false
/bundle_defaults/org.eclipse.core.resources/refresh.lightweight.enabled=true
/bundle_defaults/org.eclipse.core.resources/snapshots.operations=100
/bundle_defaults/org.eclipse.debug.core/org.eclipse.debug.core.PREF_BREAKPOINT_MANAGER_ENABLED_STATE=true
/bundle_defaults/org.eclipse.debug.core/org.eclipse.debug.core.PREF_DELETE_CONFIGS_ON_PROJECT_DELETE=false
/bundle_defaults/org.eclipse.debug.core/org.eclipse.debug.core.PREF_ENABLE_STATUS_HANDLERS=true
/bundle_defaults/org.eclipse.debug.core/org.eclipse.debug.core.USE_STEP_FILTERS=false
/bundle_defaults/org.eclipse.equinox.p2.ui.sdk.scheduler/download=false
/bundle_defaults/org.eclipse.equinox.p2.ui.sdk.scheduler/enabled=false
/bundle_defaults/org.eclipse.equinox.p2.ui.sdk.scheduler/remindElapsedTime=30 minutes
/bundle_defaults/org.eclipse.equinox.p2.ui.sdk.scheduler/remindOnSchedule=false
/bundle_defaults/org.eclipse.equinox.p2.ui.sdk.scheduler/schedule=on-startup
/bundle_defaults/org.eclipse.equinox.p2.ui.sdk.scheduler/showUpdateWizard=false
/bundle_defaults/org.eclipse.equinox.p2.ui.sdk/allowNonOKPlan=prompt
/bundle_defaults/org.eclipse.equinox.p2.ui.sdk/showLatestVersion=true
/bundle_defaults/org.eclipse.mylyn.commons.notifications.ui/notifications.enabled=true
/bundle_defaults/org.eclipse.recommenders.news.rcp/feed.list.sorted=org.lamport.tla.tooblox.rss.feed;org.lamport.tla.tooblox.discussion.feed
/bundle_defaults/org.eclipse.recommenders.news.rcp/newsEnabled=true
/bundle_defaults/org.eclipse.recommenders.news.rcp/pollingDelay=5
/bundle_defaults/org.eclipse.recommenders.news.rcp/pollingInterval=5
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Accessibility.UseCustomCarets=true
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Accessibility.WideCaret=true
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Color.Background=255,255,255
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Color.Background.SystemDefault=true
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Color.FindScope=185,176,180
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Color.Foreground=0,0,0
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Color.Foreground.SystemDefault=true
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Color.SelectionBackground.SystemDefault=true
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Color.SelectionForeground.SystemDefault=true
/bundle_defaults/org.eclipse.ui.editors/AbstractTextEditor.Navigation.SmartHomeEnd=true
/bundle_defaults/org.eclipse.ui.editors/Accessibility.UseSaturatedColors=false
/bundle_defaults/org.eclipse.ui.editors/additionIndication=false
/bundle_defaults/org.eclipse.ui.editors/additionIndicationColor=188,188,222
/bundle_defaults/org.eclipse.ui.editors/additionIndicationInOverviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/additionIndicationInVerticalRuler=false
/bundle_defaults/org.eclipse.ui.editors/bookmarkIndication=false
/bundle_defaults/org.eclipse.ui.editors/bookmarkIndicationColor=34,164,99
/bundle_defaults/org.eclipse.ui.editors/bookmarkIndicationHighlighting=false
/bundle_defaults/org.eclipse.ui.editors/bookmarkIndicationInOverviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/bookmarkIndicationInVerticalRuler=true
/bundle_defaults/org.eclipse.ui.editors/bookmarkTextStyle=SQUIGGLES
/bundle_defaults/org.eclipse.ui.editors/changeIndication=false
/bundle_defaults/org.eclipse.ui.editors/changeIndicationColor=204,163,205
/bundle_defaults/org.eclipse.ui.editors/changeIndicationInOverviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/changeIndicationInVerticalRuler=false
/bundle_defaults/org.eclipse.ui.editors/currentLine=true
/bundle_defaults/org.eclipse.ui.editors/currentLineColor=232,242,254
/bundle_defaults/org.eclipse.ui.editors/deletionIndication=false
/bundle_defaults/org.eclipse.ui.editors/deletionIndicationColor=0,0,0
/bundle_defaults/org.eclipse.ui.editors/deletionIndicationInOverviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/deletionIndicationInVerticalRuler=false
/bundle_defaults/org.eclipse.ui.editors/errorIndication=true
/bundle_defaults/org.eclipse.ui.editors/errorIndicationColor=255,0,128
/bundle_defaults/org.eclipse.ui.editors/errorIndicationHighlighting=false
/bundle_defaults/org.eclipse.ui.editors/errorIndicationInOverviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/errorIndicationInVerticalRuler=true
/bundle_defaults/org.eclipse.ui.editors/errorTextStyle=PROBLEM_UNDERLINE
/bundle_defaults/org.eclipse.ui.editors/forg.lamport.tla.toolbox.editor.basic.showUse.fcsCPK=183,235,255
/bundle_defaults/org.eclipse.ui.editors/forg.lamport.tla.toolbox.editor.basic.showUse.fcsHPK=true
/bundle_defaults/org.eclipse.ui.editors/forg.lamport.tla.toolbox.editor.basic.showUse.fcsORPK=true
/bundle_defaults/org.eclipse.ui.editors/forg.lamport.tla.toolbox.editor.basic.showUse.fcsSPK=BOX
/bundle_defaults/org.eclipse.ui.editors/forg.lamport.tla.toolbox.editor.basic.showUse.fcsTPK=true
/bundle_defaults/org.eclipse.ui.editors/hoverReplaceMode=0
/bundle_defaults/org.eclipse.ui.editors/hyperlinkColor=0,104,218
/bundle_defaults/org.eclipse.ui.editors/hyperlinkColor.SystemDefault=true
/bundle_defaults/org.eclipse.ui.editors/hyperlinkKeyModifier=Command
/bundle_defaults/org.eclipse.ui.editors/hyperlinkKeyModifierMask=4194304
/bundle_defaults/org.eclipse.ui.editors/hyperlinksEnabled=true
/bundle_defaults/org.eclipse.ui.editors/infoIndication=true
/bundle_defaults/org.eclipse.ui.editors/infoIndicationColor=130,160,190
/bundle_defaults/org.eclipse.ui.editors/infoIndicationHighlighting=false
/bundle_defaults/org.eclipse.ui.editors/infoIndicationInOverviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/infoIndicationInVerticalRuler=true
/bundle_defaults/org.eclipse.ui.editors/infoTextStyle=SQUIGGLES
/bundle_defaults/org.eclipse.ui.editors/isAdditionGoToNextNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isAdditionGoToPreviousNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isBookmarkGoToNextNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isBookmarkGoToPreviousNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isChangeGoToNextNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isChangeGoToPreviousNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isDeletionGoToNextNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isDeletionGoToPreviousNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isErrorGoToNextNavigationTarget=true
/bundle_defaults/org.eclipse.ui.editors/isErrorGoToPreviousNavigationTarget=true
/bundle_defaults/org.eclipse.ui.editors/isInfoGoToNextNavigationTarget=true
/bundle_defaults/org.eclipse.ui.editors/isInfoGoToPreviousNavigationTarget=true
/bundle_defaults/org.eclipse.ui.editors/isRevisionAnnotationGoToNextNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isRevisionAnnotationGoToPreviousNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isSpellingGoToNextNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isSpellingGoToPreviousNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isTaskGoToNextNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isTaskGoToPreviousNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isUnchangedGoToNextNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isUnchangedGoToPreviousNavigationTarget=false
/bundle_defaults/org.eclipse.ui.editors/isWarningGoToNextNavigationTarget=true
/bundle_defaults/org.eclipse.ui.editors/isWarningGoToPreviousNavigationTarget=true
/bundle_defaults/org.eclipse.ui.editors/lineNumberColor=120,120,120
/bundle_defaults/org.eclipse.ui.editors/lineNumberRuler=false
/bundle_defaults/org.eclipse.ui.editors/linked.exit.color=0,180,0
/bundle_defaults/org.eclipse.ui.editors/linked.exit.highlight=false
/bundle_defaults/org.eclipse.ui.editors/linked.exit.navigation.dropdown=false
/bundle_defaults/org.eclipse.ui.editors/linked.exit.navigation.next=false
/bundle_defaults/org.eclipse.ui.editors/linked.exit.navigation.previous=false
/bundle_defaults/org.eclipse.ui.editors/linked.exit.overviewruler=false
/bundle_defaults/org.eclipse.ui.editors/linked.exit.text=true
/bundle_defaults/org.eclipse.ui.editors/linked.exit.text.style=IBEAM
/bundle_defaults/org.eclipse.ui.editors/linked.exit.verticalruler=false
/bundle_defaults/org.eclipse.ui.editors/linked.focus.color=50,70,120
/bundle_defaults/org.eclipse.ui.editors/linked.focus.highlight=false
/bundle_defaults/org.eclipse.ui.editors/linked.focus.navigation.dropdown=false
/bundle_defaults/org.eclipse.ui.editors/linked.focus.navigation.next=false
/bundle_defaults/org.eclipse.ui.editors/linked.focus.navigation.previous=false
/bundle_defaults/org.eclipse.ui.editors/linked.focus.overviewruler=false
/bundle_defaults/org.eclipse.ui.editors/linked.focus.text=true
/bundle_defaults/org.eclipse.ui.editors/linked.focus.text.style=BOX
/bundle_defaults/org.eclipse.ui.editors/linked.focus.verticalruler=false
/bundle_defaults/org.eclipse.ui.editors/linked.slave.color=180,215,255
/bundle_defaults/org.eclipse.ui.editors/linked.slave.highlight=true
/bundle_defaults/org.eclipse.ui.editors/linked.slave.navigation.dropdown=false
/bundle_defaults/org.eclipse.ui.editors/linked.slave.navigation.next=false
/bundle_defaults/org.eclipse.ui.editors/linked.slave.navigation.previous=false
/bundle_defaults/org.eclipse.ui.editors/linked.slave.overviewruler=false
/bundle_defaults/org.eclipse.ui.editors/linked.slave.text=false
/bundle_defaults/org.eclipse.ui.editors/linked.slave.text.style=NONE
/bundle_defaults/org.eclipse.ui.editors/linked.slave.verticalruler=false
/bundle_defaults/org.eclipse.ui.editors/linked.target.color=170,185,220
/bundle_defaults/org.eclipse.ui.editors/linked.target.highlight=false
/bundle_defaults/org.eclipse.ui.editors/linked.target.navigation.dropdown=false
/bundle_defaults/org.eclipse.ui.editors/linked.target.navigation.next=false
/bundle_defaults/org.eclipse.ui.editors/linked.target.navigation.previous=false
/bundle_defaults/org.eclipse.ui.editors/linked.target.overviewruler=false
/bundle_defaults/org.eclipse.ui.editors/linked.target.text=true
/bundle_defaults/org.eclipse.ui.editors/linked.target.text.style=BOX
/bundle_defaults/org.eclipse.ui.editors/linked.target.verticalruler=false
/bundle_defaults/org.eclipse.ui.editors/org.eclipse.ui.internal.editors.text.URLHyperlinkDetector_stateMask=-1
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.editor.basic.showParenError.fcsCPK=255,140,140
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.editor.basic.showParenError.fcsHPK=true
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.editor.basic.showParenError.fcsORPK=true
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.editor.basic.showParenError.fcsSPK=BOX
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.editor.basic.showParenError.fcsTPK=true
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.tlc.zerocoverage.color=250,218,92
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.tlc.zerocoverage.highlight=true
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.tlc.zerocoverage.overruler=true
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.tlc.zerocoverage.text=true
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.tlc.zerocoverage.textstyle=BOX
/bundle_defaults/org.eclipse.ui.editors/org.lamport.tla.toolbox.tlc.zerocoverage.vertruler=true
/bundle_defaults/org.eclipse.ui.editors/othersIndication=false
/bundle_defaults/org.eclipse.ui.editors/othersIndicationColor=0,0,0
/bundle_defaults/org.eclipse.ui.editors/othersIndicationInOverviewRuler=false
/bundle_defaults/org.eclipse.ui.editors/overviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/printMargin=false
/bundle_defaults/org.eclipse.ui.editors/printMarginAllowOverride=false
/bundle_defaults/org.eclipse.ui.editors/printMarginColor=176,180,185
/bundle_defaults/org.eclipse.ui.editors/printMarginColumn=80
/bundle_defaults/org.eclipse.ui.editors/quickdiff.characterMode=false
/bundle_defaults/org.eclipse.ui.editors/quickdiff.defaultProvider=org.eclipse.ui.internal.editors.quickdiff.LastSaveReferenceProvider
/bundle_defaults/org.eclipse.ui.editors/quickdiff.nowarn.before.switch=always
/bundle_defaults/org.eclipse.ui.editors/quickdiff.quickDiff=true
/bundle_defaults/org.eclipse.ui.editors/revisionAnnotationIndication=false
/bundle_defaults/org.eclipse.ui.editors/revisionAnnotationIndicationColor=88,88,22
/bundle_defaults/org.eclipse.ui.editors/revisionAnnotationIndicationHighlighting=false
/bundle_defaults/org.eclipse.ui.editors/revisionAnnotationIndicationInOverviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/revisionAnnotationIndicationInVerticalRuler=false
/bundle_defaults/org.eclipse.ui.editors/revisionRulerRenderingMode=Age
/bundle_defaults/org.eclipse.ui.editors/revisionRulerShowAuthor=false
/bundle_defaults/org.eclipse.ui.editors/revisionRulerShowRevision=false
/bundle_defaults/org.eclipse.ui.editors/rulerContributions=
/bundle_defaults/org.eclipse.ui.editors/showAdditionInNextPrevDropdownToolbarAction=true
/bundle_defaults/org.eclipse.ui.editors/showBookmarkInNextPrevDropdownToolbarAction=true
/bundle_defaults/org.eclipse.ui.editors/showCarriageReturn=true
/bundle_defaults/org.eclipse.ui.editors/showChangeInNextPrevDropdownToolbarAction=true
/bundle_defaults/org.eclipse.ui.editors/showDeletionInNextPrevDropdownToolbarAction=false
/bundle_defaults/org.eclipse.ui.editors/showEnclosedIdeographicSpaces=true
/bundle_defaults/org.eclipse.ui.editors/showEnclosedSpaces=true
/bundle_defaults/org.eclipse.ui.editors/showEnclosedTabs=true
/bundle_defaults/org.eclipse.ui.editors/showErrorInNextPrevDropdownToolbarAction=true
/bundle_defaults/org.eclipse.ui.editors/showInfoInNextPrevDropdownToolbarAction=true
/bundle_defaults/org.eclipse.ui.editors/showLeadingIdeographicSpaces=true
/bundle_defaults/org.eclipse.ui.editors/showLeadingSpaces=true
/bundle_defaults/org.eclipse.ui.editors/showLeadingTabs=true
/bundle_defaults/org.eclipse.ui.editors/showLineFeed=true
/bundle_defaults/org.eclipse.ui.editors/showRevisionAnnotationInNextPrevDropdownToolbarAction=false
/bundle_defaults/org.eclipse.ui.editors/showSpellingInNextPrevDropdownToolbarAction=true
/bundle_defaults/org.eclipse.ui.editors/showTaskInNextPrevDropdownToolbarAction=true
/bundle_defaults/org.eclipse.ui.editors/showTextHoverAffordance=true
/bundle_defaults/org.eclipse.ui.editors/showTrailingIdeographicSpaces=true
/bundle_defaults/org.eclipse.ui.editors/showTrailingSpaces=true
/bundle_defaults/org.eclipse.ui.editors/showTrailingTabs=true
/bundle_defaults/org.eclipse.ui.editors/showUnchangedInNextPrevDropdownToolbarAction=false
/bundle_defaults/org.eclipse.ui.editors/showWarningInNextPrevDropdownToolbarAction=true
/bundle_defaults/org.eclipse.ui.editors/showWhitespaceCharacters=false
/bundle_defaults/org.eclipse.ui.editors/show_range_indicator=true
/bundle_defaults/org.eclipse.ui.editors/spacesForTabs=false
/bundle_defaults/org.eclipse.ui.editors/spellingEnabled=false
/bundle_defaults/org.eclipse.ui.editors/spellingEngine=
/bundle_defaults/org.eclipse.ui.editors/spellingIndication=true
/bundle_defaults/org.eclipse.ui.editors/spellingIndicationColor=255,128,64
/bundle_defaults/org.eclipse.ui.editors/spellingIndicationHighlighting=false
/bundle_defaults/org.eclipse.ui.editors/spellingIndicationInOverviewRuler=false
/bundle_defaults/org.eclipse.ui.editors/spellingIndicationInVerticalRuler=false
/bundle_defaults/org.eclipse.ui.editors/spellingTextStyle=PROBLEM_UNDERLINE
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor10A=210,255,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor10B=210,255,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor11A=83,169,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor11B=83,169,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor12A=191,223,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor12B=191,223,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor1A=255,151,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor1B=255,151,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor2A=255,210,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor2B=255,210,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor3A=133,133,133
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor3B=133,133,133
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor4A=255,157,157
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor4B=255,157,157
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor5A=255,196,196
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor5B=255,196,196
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor6A=174,255,174
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor6B=174,255,174
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor7A=234,251,174
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor7B=234,251,174
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor8A=255,255,159
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor8B=255,255,159
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor9A=140,255,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusColor9B=140,255,255
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight10A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight10B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight11A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight11B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight12A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight12B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight1A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight1B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight2A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight2B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight3A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight3B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight4A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight4B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight5A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight5B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight6A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight6B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight7A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight7B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight8A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight8B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight9A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusHighlight9B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview10A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview10B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview11A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview11B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview12A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview12B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview1A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview1B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview2A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview2B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview3A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview3B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview4A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview4B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview5A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview5B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview6A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview6B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview7A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview7B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview8A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview8B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview9A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusOverview9B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusText10A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText10B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText11A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText11B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText12A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText12B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText1A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText1B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText2A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText2B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText3A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText3B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText4A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText4B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText5A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText5B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText6A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText6B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText7A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText7B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText8A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText8B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText9A=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusText9B=true
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical10A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical10B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical11A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical11B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical12A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical12B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical1A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical1B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical2A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical2B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical3A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical3B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical4A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical4B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical5A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical5B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical6A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical6B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical7A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical7B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical8A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical8B=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical9A=false
/bundle_defaults/org.eclipse.ui.editors/stepStatusVertical9B=false
/bundle_defaults/org.eclipse.ui.editors/tabWidth=4
/bundle_defaults/org.eclipse.ui.editors/taskIndication=false
/bundle_defaults/org.eclipse.ui.editors/taskIndicationColor=0,128,255
/bundle_defaults/org.eclipse.ui.editors/taskIndicationHighlighting=false
/bundle_defaults/org.eclipse.ui.editors/taskIndicationInOverviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/taskIndicationInVerticalRuler=true
/bundle_defaults/org.eclipse.ui.editors/taskTextStyle=SQUIGGLES
/bundle_defaults/org.eclipse.ui.editors/textDragAndDropEnabled=true
/bundle_defaults/org.eclipse.ui.editors/toolbox.editor.basic.hyperlinkDetector.tla_stateMask=-1
/bundle_defaults/org.eclipse.ui.editors/unchangedIndication=false
/bundle_defaults/org.eclipse.ui.editors/unchangedIndicationColor=0,0,0
/bundle_defaults/org.eclipse.ui.editors/unchangedIndicationInOverviewRuler=false
/bundle_defaults/org.eclipse.ui.editors/unchangedIndicationInVerticalRuler=false
/bundle_defaults/org.eclipse.ui.editors/undoHistorySize=200
/bundle_defaults/org.eclipse.ui.editors/useAnnotationsPrefPage=false
/bundle_defaults/org.eclipse.ui.editors/useQuickDiffPrefPage=false
/bundle_defaults/org.eclipse.ui.editors/warn_if_input_derived=true
/bundle_defaults/org.eclipse.ui.editors/warningIndication=true
/bundle_defaults/org.eclipse.ui.editors/warningIndicationColor=244,200,45
/bundle_defaults/org.eclipse.ui.editors/warningIndicationHighlighting=false
/bundle_defaults/org.eclipse.ui.editors/warningIndicationInOverviewRuler=true
/bundle_defaults/org.eclipse.ui.editors/warningIndicationInVerticalRuler=true
/bundle_defaults/org.eclipse.ui.editors/warningTextStyle=PROBLEM_UNDERLINE
/bundle_defaults/org.eclipse.ui.editors/whitespaceCharacterAlphaValue=80
/bundle_defaults/org.eclipse.ui.editors/wordwrap.enabled=false
/bundle_defaults/org.eclipse.ui.ide/BOOKMARKS_FILTERS_MIGRATE=false
/bundle_defaults/org.eclipse.ui.ide/CLOSE_UNRELATED_PROJECTS=false
/bundle_defaults/org.eclipse.ui.ide/EXIT_PROMPT_ON_CLOSE_LAST_WINDOW=true
/bundle_defaults/org.eclipse.ui.ide/IMPORT_FILES_AND_FOLDERS_MODE=prompt
/bundle_defaults/org.eclipse.ui.ide/IMPORT_FILES_AND_FOLDERS_RELATIVE=true
/bundle_defaults/org.eclipse.ui.ide/IMPORT_FILES_AND_FOLDERS_TYPE=
/bundle_defaults/org.eclipse.ui.ide/IMPORT_FILES_AND_FOLDERS_VIRTUAL_FOLDER_MODE=prompt
/bundle_defaults/org.eclipse.ui.ide/LIMIT_PROBLEMS=true
/bundle_defaults/org.eclipse.ui.ide/MARKER_LIMITS_VALUE=100
/bundle_defaults/org.eclipse.ui.ide/OPEN_REQUIRED_PROJECTS=prompt
/bundle_defaults/org.eclipse.ui.ide/PROBLEMS_FILTERS_MIGRATE=false
/bundle_defaults/org.eclipse.ui.ide/PROBLEMS_LIMIT=100
/bundle_defaults/org.eclipse.ui.ide/PROJECT_OPEN_NEW_PERSPECTIVE=OPEN_PERSPECTIVE_REPLACE
/bundle_defaults/org.eclipse.ui.ide/REFRESH_WORKSPACE_ON_STARTUP=false
/bundle_defaults/org.eclipse.ui.ide/SAVE_ALL_BEFORE_BUILD=false
/bundle_defaults/org.eclipse.ui.ide/SHOW_LOCATION=false
/bundle_defaults/org.eclipse.ui.ide/SHOW_LOCATION_NAME=true
/bundle_defaults/org.eclipse.ui.ide/SHOW_PERSPECTIVE_IN_TITLE=false
/bundle_defaults/org.eclipse.ui.ide/SHOW_PROBLEMS_VIEW_DECORATIONS_ON_STARTUP=false
/bundle_defaults/org.eclipse.ui.ide/SHOW_PRODUCT_IN_TITLE=true
/bundle_defaults/org.eclipse.ui.ide/SHOW_WORKSPACE_SELECTION_DIALOG=true
/bundle_defaults/org.eclipse.ui.ide/SWITCH_PERSPECTIVE_ON_PROJECT_CREATION=prompt
/bundle_defaults/org.eclipse.ui.ide/SYSTEM_EXPLORER=open -R "${selected_resource_loc}"
/bundle_defaults/org.eclipse.ui.ide/TASKS_FILTERS_MIGRATE=false
/bundle_defaults/org.eclipse.ui.ide/USE_MARKER_LIMITS=true
/bundle_defaults/org.eclipse.ui.ide/WARN_ABOUT_WORKSPACE_INCOMPATIBILITY=true
/bundle_defaults/org.eclipse.ui.ide/WELCOME_DIALOG=true
/bundle_defaults/org.eclipse.ui.ide/saveInterval=5
/bundle_defaults/org.eclipse.ui.ide/unassociatedEditorStrategy=org.eclipse.ui.ide.systemEditorThenTextEditor
/bundle_defaults/org.eclipse.ui.ide/useSeparator.help.group.assist=true
/bundle_defaults/org.eclipse.ui.ide/useSeparator.help.group.main=true
/bundle_defaults/org.eclipse.ui.ide/useSeparator.help.group.updates=true
/bundle_defaults/org.eclipse.ui.workbench/BIDI_SUPPORT=false
/bundle_defaults/org.eclipse.ui.workbench/COLOR_ICONS=true
/bundle_defaults/org.eclipse.ui.workbench/DISABLE_DIALOG_FONT=false
/bundle_defaults/org.eclipse.ui.workbench/DISABLE_OPEN_EDITOR_IN_PLACE=false
/bundle_defaults/org.eclipse.ui.workbench/EDITORLIST_DISPLAY_FULL_NAME=false
/bundle_defaults/org.eclipse.ui.workbench/EDITORLIST_PULLDOWN_ACTIVE=false
/bundle_defaults/org.eclipse.ui.workbench/EDITORLIST_SELECTION_SCOPE=1
/bundle_defaults/org.eclipse.ui.workbench/EDITORLIST_SORT_CRITERIA=0
/bundle_defaults/org.eclipse.ui.workbench/EDITOR_TAB_WIDTH=3
/bundle_defaults/org.eclipse.ui.workbench/ENABLED_DECORATORS=
/bundle_defaults/org.eclipse.ui.workbench/ENABLE_CONFIGURABLE_PROJECT_WIZARD=false
/bundle_defaults/org.eclipse.ui.workbench/ENABLE_COOL_BARS=true
/bundle_defaults/org.eclipse.ui.workbench/ENABLE_NEW_MENUS=true
/bundle_defaults/org.eclipse.ui.workbench/HeapStatus.showMax=false
/bundle_defaults/org.eclipse.ui.workbench/HeapStatus.updateInterval=500
/bundle_defaults/org.eclipse.ui.workbench/KEYS_PREFERENCE_SELECTED_TAB=0
/bundle_defaults/org.eclipse.ui.workbench/LAYOUT_DIRECTION=0
/bundle_defaults/org.eclipse.ui.workbench/MAX_PROGRESS_ENTRIES=20
/bundle_defaults/org.eclipse.ui.workbench/MULTI_KEY_ASSIST=true
/bundle_defaults/org.eclipse.ui.workbench/MULTI_KEY_ASSIST_TIME=1000
/bundle_defaults/org.eclipse.ui.workbench/NL_EXTENSIONS=
/bundle_defaults/org.eclipse.ui.workbench/OPEN_AFTER_DELAY=false
/bundle_defaults/org.eclipse.ui.workbench/OPEN_ON_SINGLE_CLICK=false
/bundle_defaults/org.eclipse.ui.workbench/OPEN_PERSPECTIVE_MODE=0
/bundle_defaults/org.eclipse.ui.workbench/RECENT_FILES=20
/bundle_defaults/org.eclipse.ui.workbench/REUSE_OPEN_EDITORS=8
/bundle_defaults/org.eclipse.ui.workbench/REUSE_OPEN_EDITORS_BOOLEAN=false
/bundle_defaults/org.eclipse.ui.workbench/RUN_IN_BACKGROUND=true
/bundle_defaults/org.eclipse.ui.workbench/SAVE_AUTOMATICALLY=false
/bundle_defaults/org.eclipse.ui.workbench/SAVE_AUTOMATICALLY_INTERVAL=20
/bundle_defaults/org.eclipse.ui.workbench/SELECT_ON_HOVER=false
/bundle_defaults/org.eclipse.ui.workbench/SHOW_MEMORY_MONITOR=false
/bundle_defaults/org.eclipse.ui.workbench/SINGLE_CLICK_METHOD=0
/bundle_defaults/org.eclipse.ui.workbench/STICKY_CYCLE=false
/bundle_defaults/org.eclipse.ui.workbench/TEXT_DIRECTION=
/bundle_defaults/org.eclipse.ui.workbench/USE_IPERSISTABLE_EDITORS=true
/bundle_defaults/org.eclipse.ui.workbench/WORKBENCH_SAVE_INTERVAL=5
/bundle_defaults/org.eclipse.ui.workbench/coolBarVisible=true
/bundle_defaults/org.eclipse.ui.workbench/overridepresentation=false
/bundle_defaults/org.eclipse.ui.workbench/perspectiveBarVisible=true
/bundle_defaults/org.eclipse.ui.workbench/shouldPromptForEnablement=true
/bundle_defaults/org.eclipse.ui/ALTERNATE_OPEN_NEW_PERSPECTIVE=OPEN_PERSPECTIVE_REPLACE
/bundle_defaults/org.eclipse.ui/CLOSE_EDITORS_ON_EXIT=false
/bundle_defaults/org.eclipse.ui/DOCK_PERSPECTIVE_BAR=topLeft
/bundle_defaults/org.eclipse.ui/EDITOR_MINIMUM_CHARACTERS=-1
/bundle_defaults/org.eclipse.ui/EDITOR_TAB_POSITION=128
/bundle_defaults/org.eclipse.ui/ENABLE_32_STICKY_CLOSE_BEHAVIOR=false
/bundle_defaults/org.eclipse.ui/ENABLE_ANIMATIONS=false
/bundle_defaults/org.eclipse.ui/ENABLE_DETACHED_VIEWS=true
/bundle_defaults/org.eclipse.ui/ENABLE_MIN_MAX=true
/bundle_defaults/org.eclipse.ui/KEY_CONFIGURATION_ID=org.eclipse.ui.defaultAcceleratorConfiguration
/bundle_defaults/org.eclipse.ui/LINK_NAVIGATOR_TO_EDITOR=false
/bundle_defaults/org.eclipse.ui/OPEN_NEW_PERSPECTIVE=OPEN_PERSPECTIVE_REPLACE
/bundle_defaults/org.eclipse.ui/PROJECT_OPEN_NEW_PERSPECTIVE=OPEN_PERSPECTIVE_REPLACE
/bundle_defaults/org.eclipse.ui/PROMPT_WHEN_SAVEABLE_STILL_OPEN=true
/bundle_defaults/org.eclipse.ui/RECENTLY_USED_WORKINGSETS_SIZE=5
/bundle_defaults/org.eclipse.ui/SHIFT_OPEN_NEW_PERSPECTIVE=OPEN_PERSPECTIVE_REPLACE
/bundle_defaults/org.eclipse.ui/SHOW_FILTERED_TEXTS=true
/bundle_defaults/org.eclipse.ui/SHOW_MULTIPLE_EDITOR_TABS=true
/bundle_defaults/org.eclipse.ui/SHOW_OPEN_ON_PERSPECTIVE_BAR=true
/bundle_defaults/org.eclipse.ui/SHOW_OTHER_IN_PERSPECTIVE_MENU=true
/bundle_defaults/org.eclipse.ui/SHOW_SYSTEM_JOBS=false
/bundle_defaults/org.eclipse.ui/SHOW_TEXT_ON_PERSPECTIVE_BAR=false
/bundle_defaults/org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=true
/bundle_defaults/org.eclipse.ui/USE_COLORED_LABELS=true
/bundle_defaults/org.eclipse.ui/USE_WINDOW_WORKING_SET_BY_DEFAULT=false
/bundle_defaults/org.eclipse.ui/VIEW_MINIMUM_CHARACTERS=1
/bundle_defaults/org.eclipse.ui/VIEW_TAB_POSITION=128
/bundle_defaults/org.eclipse.ui/disableNewFastView=false
/bundle_defaults/org.eclipse.ui/initialFastViewBarLocation=bottom
/bundle_defaults/org.eclipse.ui/showIntro=true
/bundle_defaults/org.lamport.tla.toolbox.tool.tla2tex/dotCommand=dot
/bundle_defaults/org.lamport.tla.toolbox.tool.tla2tex/greyLevel=0.85
/bundle_defaults/org.lamport.tla.toolbox.tool.tla2tex/latexCommand=pdflatex
/bundle_defaults/org.lamport.tla.toolbox.tool.tla2tex/noPcalShade=false
/bundle_defaults/org.lamport.tla.toolbox.tool.tla2tex/numberLines=false
/bundle_defaults/org.lamport.tla.toolbox.tool.tla2tex/shadeComments=true
/bundle_defaults/org.lamport.tla.toolbox/autoParseModule=true
/bundle_defaults/org.lamport.tla.toolbox/autoParseSpec=true
/bundle_defaults/org.lamport.tla.toolbox/editorAddModificationHistory=true
/bundle_defaults/org.lamport.tla.toolbox/editorRightMargin=77
/bundle_defaults/org.lamport.tla.toolbox/minDisplayedSize=50000
/bundle_defaults/org.lamport.tla.toolbox/pCalCallParams=-nocfg
/bundle_defaults/org.lamport.tla.toolbox/parserPopupErrors=true
/bundle_defaults/org.lamport.tla.toolbox/removeDeclarationUseMarkersOnParse=true
/bundle_defaults/org.lamport.tla.toolbox/renumber_proof_option=renumber_proof_all
/bundle_defaults/org.lamport.tla.toolbox/renumber_proof_save=true
/bundle_defaults/org.lamport.tla.toolbox/restoreLastSpec=true
/configuration/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
/instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
/instance/org.eclipse.core.resources/version=1
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.classpathVariable.JRE_LIB=/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.lamport.openjdk.macosx.x86_64_11.0.3.1/Contents/Home/lib/jrt-fs.jar
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.classpathVariable.JRE_SRC=
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.classpathVariable.JRE_SRCROOT=
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.codegen.targetPlatform=10
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.compliance=10
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.release=enabled
/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.source=10
/instance/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_VM_XML=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?>\n<vmSettings defaultVM\="52,org.eclipse.jdt.internal.launching.macosx.MacOSXType13,1567512526052" defaultVMConnector\="">\n    <vmType id\="org.eclipse.jdt.internal.launching.macosx.MacOSXType">\n        <vm id\="com.oracle.java.8u202.jdk" name\="Java SE 8 [1.8.0_202]" path\="/Library/Java/JavaVirtualMachines/jdk1.8.0_202.jdk/Contents/Home"/>\n        <vm id\="1567512526052" name\="JRE [11.0.3]" path\="/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.lamport.openjdk.macosx.x86_64_11.0.3.1/Contents/Home"/>\n    </vmType>\n</vmSettings>\n
/instance/org.eclipse.team.ui/org.eclipse.team.ui.first_time=false
/instance/org.eclipse.ui.browser/browsers=<?xml version\="1.0" encoding\="UTF-8"?>\n<web-browsers current\="0">\n<system/>\n<external location\="/Applications/Firefox.app" name\="Firefox"/>\n</web-browsers>
/instance/org.eclipse.ui.editors/overviewRuler_migration=migrated_3.1
/instance/org.eclipse.ui.workbench/RUN_IN_BACKGROUND=false
/instance/org.eclipse.ui/showIntro=false
/instance/org.lamport.tla.toolbox.tool.tla2tex/latexCommand=/usr/local/texlive/2019basic/bin/x86_64-darwin/pdflatex
/instance/org.lamport.tla.toolbox.tool.tlc.ui/showModalProgress=true
/instance/org.lamport.tla.toolbox/TLA_LIBRARY_PATH=/Users/andrew/mirror/practical-tla-plus/PT/*true|/Users/andrew/opt/tlaps/lib/tlaps/*true|
/instance/org.lamport.tla.toolbox/specLoadedName=queue3
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/file\:_Applications_TLA+%20Toolbox.app_Contents_Eclipse_p2_org.eclipse.equinox.p2.core_cache/description=
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/file\:_Applications_TLA+%20Toolbox.app_Contents_Eclipse_p2_org.eclipse.equinox.p2.core_cache/enabled=true
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/file\:_Applications_TLA+%20Toolbox.app_Contents_Eclipse_p2_org.eclipse.equinox.p2.core_cache/isSystem=true
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/file\:_Applications_TLA+%20Toolbox.app_Contents_Eclipse_p2_org.eclipse.equinox.p2.core_cache/name=download cache
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/file\:_Applications_TLA+%20Toolbox.app_Contents_Eclipse_p2_org.eclipse.equinox.p2.core_cache/provider=
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/file\:_Applications_TLA+%20Toolbox.app_Contents_Eclipse_p2_org.eclipse.equinox.p2.core_cache/suffix=artifacts.xml
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/file\:_Applications_TLA+%20Toolbox.app_Contents_Eclipse_p2_org.eclipse.equinox.p2.core_cache/type=org.eclipse.equinox.p2.artifact.repository.simpleRepository
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/file\:_Applications_TLA+%20Toolbox.app_Contents_Eclipse_p2_org.eclipse.equinox.p2.core_cache/uri=file\:/Applications/TLA+%20Toolbox.app/Contents/Eclipse/p2/org.eclipse.equinox.p2.core/cache/
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/file\:_Applications_TLA+%20Toolbox.app_Contents_Eclipse_p2_org.eclipse.equinox.p2.core_cache/version=1.0.0
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/count=1
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/enabled=true
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/uri=http\://lamport.org/tlatoolbox/branches/1.6.0/toolboxUpdate/
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/http\:__lamport.org_tlatoolbox_ci_toolboxUpdate/count=1
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/http\:__lamport.org_tlatoolbox_ci_toolboxUpdate/enabled=false
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.artifact.repository/repositories/http\:__lamport.org_tlatoolbox_ci_toolboxUpdate/uri=http\://lamport.org/tlatoolbox/ci/toolboxUpdate/
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/count=1
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/enabled=true
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/name=${p2.metadata.repo.name}
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/suffix=content.xml
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/type=org.eclipse.equinox.internal.p2.metadata.repository.LocalMetadataRepository
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/uri=http\://lamport.org/tlatoolbox/branches/1.6.0/toolboxUpdate/
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_branches_1.6.0_toolboxUpdate/version=1.0.0
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_ci_toolboxUpdate/count=1
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_ci_toolboxUpdate/enabled=false
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.metadata.repository/repositories/http\:__lamport.org_tlatoolbox_ci_toolboxUpdate/uri=http\://lamport.org/tlatoolbox/ci/toolboxUpdate/
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.ui.sdk.scheduler/autoUpdateInit=true
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.ui.sdk.scheduler/fuzzy_recurrence=Once a day
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.ui.sdk.scheduler/lastAutoCheckForUpdates=2019-12-28T10\:30\:53.127-0500
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.ui.sdk.scheduler/migrated34Prefs=true
/profile/file\:\\2fApplications\\2fTLA+%20Toolbox.app\\2fContents\\2fEclipse\\2fconfiguration\\2f..\\2fp2\\2f/_SELF_/org.eclipse.equinox.p2.ui.sdk/allowNonOKPlan=prompt
/project/auction/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/auction.tla
/project/euclid/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/euclid.tla
/project/euclid2/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/euclid2.tla
/project/max/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/max.tla
/project/maxb/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/maxb.tla
/project/print/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/print.tla
/project/queue/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/queue.tla
/project/queue2/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/queue2.tla
/project/queue3/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/queue3.tla
/project/simul/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/simul.tla
/project/two/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/two.tla
/project/wire/org.lamport.tla.toolbox/ProjectRootFile=PARENT-1-PROJECT_LOC/wire.tla
@org.eclipse.core.net=1.3.300.v20180827-1041
@org.eclipse.core.resources=3.13.100.v20180828-0158
@org.eclipse.jdt.core=3.15.0.v20180905-0317
@org.eclipse.jdt.launching=3.11.0.v20180827-1040
@org.eclipse.team.ui=3.8.200.v20180827-1338
@org.eclipse.ui=3.110.0.v20180828-1350
@org.eclipse.ui.browser=3.6.300.v20180828-0837
@org.eclipse.ui.editors=3.11.200.v20180822-1511
@org.eclipse.ui.workbench=3.112.0.v20180906-1121
@org.lamport.tla.toolbox=1.0.0.201907102009
@org.lamport.tla.toolbox.tool.tla2tex=1.0.0.201907102009
@org.lamport.tla.toolbox.tool.tlc.ui=1.0.0.201907102009
file_export_version=3.0

*** Current Install Configuration:

Bundles in the system:

Id: aws-ec2, Version: 2.1.2, Location: reference:file:plugins/aws-ec2_2.1.2.jar
Id: aws-s3, Version: 2.1.2, Location: reference:file:plugins/aws-s3_2.1.2.jar
Id: azurecompute-arm, Version: 2.1.2, Location: reference:file:plugins/azurecompute-arm_2.1.2.jar
Id: bcpkix, Version: 1.58.0, Location: reference:file:plugins/bcpkix_1.58.0.jar
Id: bcprov, Version: 1.58.0, Location: reference:file:plugins/bcprov_1.58.0.jar
Id: bcprov-ext, Version: 1.58.0, Location: reference:file:plugins/bcprov-ext_1.58.0.jar
Id: com.abstratt.content, Version: 2.5.201812, Location: reference:file:plugins/com.abstratt.content_2.5.201812.jar
Id: com.abstratt.graphviz, Version: 2.5.201812, Location: reference:file:plugins/com.abstratt.graphviz_2.5.201812.jar
Id: com.abstratt.graphviz.ui, Version: 2.5.201812, Location: reference:file:plugins/com.abstratt.graphviz.ui_2.5.201812.jar
Id: com.abstratt.imageviewer, Version: 2.5.201812, Location: reference:file:plugins/com.abstratt.imageviewer_2.5.201812.jar
Id: com.abstratt.pluginutils, Version: 2.5.201812, Location: reference:file:plugins/com.abstratt.pluginutils_2.5.201812.jar
Id: com.google.gson, Version: 2.5.0, Location: reference:file:plugins/com.google.gson_2.5.0.jar
Id: com.google.guava, Version: 15.0.0.v201403281430, Location: reference:file:plugins/com.google.guava_15.0.0.v201403281430.jar
Id: com.google.guava, Version: 21.0.0.v20170206-1425, Location: reference:file:plugins/com.google.guava_21.0.0.v20170206-1425.jar
Id: com.google.inject, Version: 3.0.0, Location: reference:file:plugins/com.google.inject_3.0.0.jar
Id: com.google.inject.assistedinject, Version: 3.0.0, Location: reference:file:plugins/com.google.inject.assistedinject_3.0.0.jar
Id: com.hierynomus.sshj, Version: 0.21.1, Location: reference:file:plugins/com.hierynomus.sshj_0.21.1.jar
Id: com.ibm.icu, Version: 62.1.0.v20180727-1652, Location: reference:file:plugins/com.ibm.icu_62.1.0.v20180727-1652.jar
Id: com.jcraft.jsch, Version: 0.1.54.v20170116-1932, Location: reference:file:plugins/com.jcraft.jsch_0.1.54.v20170116-1932.jar
Id: com.jcraft.jsch.agentproxy.osgi, Version: 0.0.9, Location: reference:file:plugins/com.jcraft.jsch.agentproxy.osgi_0.0.9.jar
Id: com.sun.el, Version: 2.2.0.v201303151357, Location: reference:file:plugins/com.sun.el_2.2.0.v201303151357.jar
Id: com.sun.jna, Version: 4.1.0, Location: reference:file:plugins/com.sun.jna_4.1.0.jar
Id: com.sun.jna.platform, Version: 4.1.0, Location: reference:file:plugins/com.sun.jna.platform_4.1.0.jar
Id: de.vonloesch.pdf4Eclipse, Version: 1.1.0.201907070246, Location: reference:file:plugins/de.vonloesch.pdf4Eclipse_1.1.0.201907070246.jar
Id: ec2, Version: 2.1.2, Location: reference:file:plugins/ec2_2.1.2.jar
Id: javax.activation, Version: 1.1.0.v201211130549, Location: reference:file:plugins/javax.activation_1.1.0.v201211130549.jar
Id: javax.annotation, Version: 1.2.0.v201602091430, Location: reference:file:plugins/javax.annotation_1.2.0.v201602091430.jar
Id: javax.el, Version: 2.2.0.v201303151357, Location: reference:file:plugins/javax.el_2.2.0.v201303151357.jar
Id: javax.inject, Version: 1.0.0.v20091030, Location: reference:file:plugins/javax.inject_1.0.0.v20091030.jar
Id: javax.mail, Version: 1.4.0.v201005080615, Location: reference:file:plugins/javax.mail_1.4.0.v201005080615.jar
Id: javax.servlet, Version: 3.1.0.v201410161800, Location: reference:file:plugins/javax.servlet_3.1.0.v201410161800.jar
Id: javax.servlet.jsp, Version: 2.2.0.v201112011158, Location: reference:file:plugins/javax.servlet.jsp_2.2.0.v201112011158.jar
Id: javax.ws.rs-api, Version: 2.1.99.b01, Location: reference:file:plugins/javax.ws.rs-api_2.1.99.b01.jar
Id: jaxb-api, Version: 2.3.1, Location: reference:file:plugins/jaxb-api_2.3.1.jar
Id: jclouds-blobstore, Version: 2.1.2, Location: reference:file:plugins/jclouds-blobstore_2.1.2.jar
Id: jclouds-bouncycastle, Version: 2.1.2, Location: reference:file:plugins/jclouds-bouncycastle_2.1.2.jar
Id: jclouds-compute, Version: 2.1.2, Location: reference:file:plugins/jclouds-compute_2.1.2.jar
Id: jclouds-core, Version: 2.1.2, Location: reference:file:plugins/jclouds-core_2.1.2.jar
Id: jclouds-enterprise, Version: 2.1.2, Location: reference:file:plugins/jclouds-enterprise_2.1.2.jar
Id: jclouds-joda, Version: 2.1.2, Location: reference:file:plugins/jclouds-joda_2.1.2.jar
Id: jclouds-netty, Version: 2.1.2, Location: reference:file:plugins/jclouds-netty_2.1.2.jar
Id: jclouds-okhttp, Version: 2.1.2, Location: reference:file:plugins/jclouds-okhttp_2.1.2.jar
Id: jclouds-scriptbuilder, Version: 2.1.2, Location: reference:file:plugins/jclouds-scriptbuilder_2.1.2.jar
Id: jclouds-slf4j, Version: 2.1.2, Location: reference:file:plugins/jclouds-slf4j_2.1.2.jar
Id: jclouds-sshj, Version: 2.1.2, Location: reference:file:plugins/jclouds-sshj_2.1.2.jar
Id: joda-time, Version: 2.1.0, Location: reference:file:plugins/joda-time_2.1.0.jar
Id: net.i2p.crypto.eddsa, Version: 0.1.0, Location: reference:file:plugins/net.i2p.crypto.eddsa_0.1.0.jar
Id: oauth, Version: 2.1.2, Location: reference:file:plugins/oauth_2.1.2.jar
Id: org.apache.batik.constants, Version: 1.10.0.v20180703-1553, Location: reference:file:plugins/org.apache.batik.constants_1.10.0.v20180703-1553.jar
Id: org.apache.batik.css, Version: 1.10.0.v20180703-1553, Location: reference:file:plugins/org.apache.batik.css_1.10.0.v20180703-1553.jar
Id: org.apache.batik.i18n, Version: 1.10.0.v20180703-1553, Location: reference:file:plugins/org.apache.batik.i18n_1.10.0.v20180703-1553.jar
Id: org.apache.batik.util, Version: 1.10.0.v20180703-1553, Location: reference:file:plugins/org.apache.batik.util_1.10.0.v20180703-1553.jar
Id: org.apache.commons.beanutils, Version: 1.8.0.v201205091237, Location: reference:file:plugins/org.apache.commons.beanutils_1.8.0.v201205091237.jar
Id: org.apache.commons.codec, Version: 1.10.0.v20180409-1845, Location: reference:file:plugins/org.apache.commons.codec_1.10.0.v20180409-1845.jar
Id: org.apache.commons.collections, Version: 3.2.2.v201511171945, Location: reference:file:plugins/org.apache.commons.collections_3.2.2.v201511171945.jar
Id: org.apache.commons.io, Version: 2.0.1.v201105210651, Location: reference:file:plugins/org.apache.commons.io_2.0.1.v201105210651.jar
Id: org.apache.commons.io, Version: 2.2.0.v201405211200, Location: reference:file:plugins/org.apache.commons.io_2.2.0.v201405211200.jar
Id: org.apache.commons.jxpath, Version: 1.3.0.v200911051830, Location: reference:file:plugins/org.apache.commons.jxpath_1.3.0.v200911051830.jar
Id: org.apache.commons.lang, Version: 2.6.0.v201404270220, Location: reference:file:plugins/org.apache.commons.lang_2.6.0.v201404270220.jar
Id: org.apache.commons.lang3, Version: 3.1.0.v201403281430, Location: reference:file:plugins/org.apache.commons.lang3_3.1.0.v201403281430.jar
Id: org.apache.commons.logging, Version: 1.2.0.v20180409-1502, Location: reference:file:plugins/org.apache.commons.logging_1.2.0.v20180409-1502.jar
Id: org.apache.felix.gogo.command, Version: 1.0.2.v20170914-1324, Location: reference:file:plugins/org.apache.felix.gogo.command_1.0.2.v20170914-1324.jar
Id: org.apache.felix.gogo.runtime, Version: 1.1.0.v20180713-1646, Location: reference:file:plugins/org.apache.felix.gogo.runtime_1.1.0.v20180713-1646.jar
Id: org.apache.felix.gogo.shell, Version: 1.1.0.v20180713-1646, Location: reference:file:plugins/org.apache.felix.gogo.shell_1.1.0.v20180713-1646.jar
Id: org.apache.felix.scr, Version: 2.0.14.v20180822-1822, Location: reference:file:plugins/org.apache.felix.scr_2.0.14.v20180822-1822.jar
Id: org.apache.httpcomponents.httpclient, Version: 4.5.5.v20180409-1525, Location: reference:file:plugins/org.apache.httpcomponents.httpclient_4.5.5.v20180409-1525.jar
Id: org.apache.httpcomponents.httpcore, Version: 4.4.9.v20180409-1525, Location: reference:file:plugins/org.apache.httpcomponents.httpcore_4.4.9.v20180409-1525.jar
Id: org.apache.jasper.glassfish, Version: 2.2.2.v201501141630, Location: reference:file:plugins/org.apache.jasper.glassfish_2.2.2.v201501141630.jar
Id: org.apache.lucene.analyzers-common, Version: 7.1.0.v20180122-2126, Location: reference:file:plugins/org.apache.lucene.analyzers-common_7.1.0.v20180122-2126.jar
Id: org.apache.lucene.analyzers-smartcn, Version: 7.1.0.v20180122-2126, Location: reference:file:plugins/org.apache.lucene.analyzers-smartcn_7.1.0.v20180122-2126.jar
Id: org.apache.lucene.core, Version: 7.1.0.v20171214-1510, Location: reference:file:plugins/org.apache.lucene.core_7.1.0.v20171214-1510.jar
Id: org.apache.servicemix.bundles.aopalliance, Version: 1.0.0.6, Location: reference:file:plugins/org.apache.servicemix.bundles.aopalliance_1.0.0.6.jar
Id: org.apache.servicemix.bundles.java-xmlbuilder, Version: 0.6.0.1, Location: reference:file:plugins/org.apache.servicemix.bundles.java-xmlbuilder_0.6.0.1.jar
Id: org.apache.servicemix.bundles.javax-inject, Version: 1.0.0.2, Location: reference:file:plugins/org.apache.servicemix.bundles.javax-inject_1.0.0.2.jar
Id: org.apache.servicemix.bundles.jsch, Version: 0.1.51.1, Location: reference:file:plugins/org.apache.servicemix.bundles.jsch_0.1.51.1.jar
Id: org.apache.servicemix.bundles.jzlib, Version: 1.1.3.2, Location: reference:file:plugins/org.apache.servicemix.bundles.jzlib_1.1.3.2.jar
Id: org.apache.servicemix.bundles.okhttp, Version: 2.2.0.1, Location: reference:file:plugins/org.apache.servicemix.bundles.okhttp_2.2.0.1.jar
Id: org.apache.servicemix.bundles.okio, Version: 1.2.0.1, Location: reference:file:plugins/org.apache.servicemix.bundles.okio_1.2.0.1.jar
Id: org.apache.xmlgraphics, Version: 2.2.0.v20180809-1640, Location: reference:file:plugins/org.apache.xmlgraphics_2.2.0.v20180809-1640.jar
Id: org.aspectj.runtime, Version: 1.9.0.201805281636, Location: reference:file:plugins/org.aspectj.runtime_1.9.0.201805281636.jar
Id: org.eclipse.compare, Version: 3.7.300.v20180827-1041, Location: reference:file:plugins/org.eclipse.compare_3.7.300.v20180827-1041.jar
Id: org.eclipse.compare.core, Version: 3.6.300.v20180827-1041, Location: reference:file:plugins/org.eclipse.compare.core_3.6.300.v20180827-1041.jar
Id: org.eclipse.core.commands, Version: 3.9.200.v20180827-1727, Location: reference:file:plugins/org.eclipse.core.commands_3.9.200.v20180827-1727.jar
Id: org.eclipse.core.contenttype, Version: 3.7.100.v20180817-1401, Location: reference:file:plugins/org.eclipse.core.contenttype_3.7.100.v20180817-1401.jar
Id: org.eclipse.core.databinding, Version: 1.7.0.v20180827-2028, Location: reference:file:plugins/org.eclipse.core.databinding_1.7.0.v20180827-2028.jar
Id: org.eclipse.core.databinding.beans, Version: 1.4.200.v20180827-2028, Location: reference:file:plugins/org.eclipse.core.databinding.beans_1.4.200.v20180827-2028.jar
Id: org.eclipse.core.databinding.observable, Version: 1.6.300.v20180827-2028, Location: reference:file:plugins/org.eclipse.core.databinding.observable_1.6.300.v20180827-2028.jar
Id: org.eclipse.core.databinding.property, Version: 1.6.300.v20180827-2028, Location: reference:file:plugins/org.eclipse.core.databinding.property_1.6.300.v20180827-2028.jar
Id: org.eclipse.core.expressions, Version: 3.6.200.v20180817-1401, Location: reference:file:plugins/org.eclipse.core.expressions_3.6.200.v20180817-1401.jar
Id: org.eclipse.core.filebuffers, Version: 3.6.300.v20180822-1339, Location: reference:file:plugins/org.eclipse.core.filebuffers_3.6.300.v20180822-1339.jar
Id: org.eclipse.core.filesystem, Version: 1.7.200.v20180828-0158, Location: reference:file:plugins/org.eclipse.core.filesystem_1.7.200.v20180828-0158.jar
Id: org.eclipse.core.filesystem.macosx, Version: 1.3.100.v20180828-0158, Location: reference:file:plugins/org.eclipse.core.filesystem.macosx_1.3.100.v20180828-0158.jar
Id: org.eclipse.core.jobs, Version: 3.10.100.v20180817-1215, Location: reference:file:plugins/org.eclipse.core.jobs_3.10.100.v20180817-1215.jar
Id: org.eclipse.core.net, Version: 1.3.300.v20180827-1041, Location: reference:file:plugins/org.eclipse.core.net_1.3.300.v20180827-1041.jar
Id: org.eclipse.core.resources, Version: 3.13.100.v20180828-0158, Location: reference:file:plugins/org.eclipse.core.resources_3.13.100.v20180828-0158.jar
Id: org.eclipse.core.runtime, Version: 3.15.0.v20180817-1401, Location: reference:file:plugins/org.eclipse.core.runtime_3.15.0.v20180817-1401.jar
Id: org.eclipse.core.variables, Version: 3.4.200.v20180821-1744, Location: reference:file:plugins/org.eclipse.core.variables_3.4.200.v20180821-1744.jar
Id: org.eclipse.debug.core, Version: 3.13.0.v20180821-1744, Location: reference:file:plugins/org.eclipse.debug.core_3.13.0.v20180821-1744.jar
Id: org.eclipse.e4.core.commands, Version: 0.12.300.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.core.commands_0.12.300.v20180828-0227.jar
Id: org.eclipse.e4.core.contexts, Version: 1.7.100.v20180817-1215, Location: reference:file:plugins/org.eclipse.e4.core.contexts_1.7.100.v20180817-1215.jar
Id: org.eclipse.e4.core.di, Version: 1.7.100.v20180817-1215, Location: reference:file:plugins/org.eclipse.e4.core.di_1.7.100.v20180817-1215.jar
Id: org.eclipse.e4.core.di.annotations, Version: 1.6.200.v20180817-1215, Location: reference:file:plugins/org.eclipse.e4.core.di.annotations_1.6.200.v20180817-1215.jar
Id: org.eclipse.e4.core.di.extensions, Version: 0.15.200.v20180817-1215, Location: reference:file:plugins/org.eclipse.e4.core.di.extensions_0.15.200.v20180817-1215.jar
Id: org.eclipse.e4.core.di.extensions.supplier, Version: 0.15.200.v20180817-1215, Location: reference:file:plugins/org.eclipse.e4.core.di.extensions.supplier_0.15.200.v20180817-1215.jar
Id: org.eclipse.e4.core.services, Version: 2.1.200.v20180817-1215, Location: reference:file:plugins/org.eclipse.e4.core.services_2.1.200.v20180817-1215.jar
Id: org.eclipse.e4.emf.xpath, Version: 0.2.200.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.emf.xpath_0.2.200.v20180828-0227.jar
Id: org.eclipse.e4.ui.bindings, Version: 0.12.200.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.bindings_0.12.200.v20180828-0227.jar
Id: org.eclipse.e4.ui.css.core, Version: 0.12.300.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.css.core_0.12.300.v20180828-0227.jar
Id: org.eclipse.e4.ui.css.swt, Version: 0.13.200.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.css.swt_0.13.200.v20180828-0227.jar
Id: org.eclipse.e4.ui.css.swt.theme, Version: 0.12.100.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.css.swt.theme_0.12.100.v20180828-0227.jar
Id: org.eclipse.e4.ui.di, Version: 1.2.300.v20180906-1121, Location: reference:file:plugins/org.eclipse.e4.ui.di_1.2.300.v20180906-1121.jar
Id: org.eclipse.e4.ui.dialogs, Version: 1.1.300.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.dialogs_1.1.300.v20180828-0227.jar
Id: org.eclipse.e4.ui.model.workbench, Version: 2.1.100.v20180904-1914, Location: reference:file:plugins/org.eclipse.e4.ui.model.workbench_2.1.100.v20180904-1914.jar
Id: org.eclipse.e4.ui.services, Version: 1.3.200.v20180906-1121, Location: reference:file:plugins/org.eclipse.e4.ui.services_1.3.200.v20180906-1121.jar
Id: org.eclipse.e4.ui.widgets, Version: 1.2.200.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.widgets_1.2.200.v20180828-0227.jar
Id: org.eclipse.e4.ui.workbench, Version: 1.7.0.v20180906-1121, Location: reference:file:plugins/org.eclipse.e4.ui.workbench_1.7.0.v20180906-1121.jar
Id: org.eclipse.e4.ui.workbench.addons.swt, Version: 1.3.200.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.workbench.addons.swt_1.3.200.v20180828-0227.jar
Id: org.eclipse.e4.ui.workbench.renderers.swt, Version: 0.14.300.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.workbench.renderers.swt_0.14.300.v20180828-0227.jar
Id: org.eclipse.e4.ui.workbench.renderers.swt.cocoa, Version: 0.12.100.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.workbench.renderers.swt.cocoa_0.12.100.v20180828-0227.jar
Id: org.eclipse.e4.ui.workbench.swt, Version: 0.14.300.v20180906-1121, Location: reference:file:plugins/org.eclipse.e4.ui.workbench.swt_0.14.300.v20180906-1121.jar
Id: org.eclipse.e4.ui.workbench3, Version: 0.14.200.v20180828-0227, Location: reference:file:plugins/org.eclipse.e4.ui.workbench3_0.14.200.v20180828-0227.jar
Id: org.eclipse.ecf, Version: 3.9.1.v20180801-1752, Location: reference:file:plugins/org.eclipse.ecf_3.9.1.v20180801-1752.jar
Id: org.eclipse.ecf.filetransfer, Version: 5.0.100.v20180301-0132, Location: reference:file:plugins/org.eclipse.ecf.filetransfer_5.0.100.v20180301-0132.jar
Id: org.eclipse.ecf.identity, Version: 3.9.1.v20180810-0833, Location: reference:file:plugins/org.eclipse.ecf.identity_3.9.1.v20180810-0833.jar
Id: org.eclipse.ecf.provider.filetransfer, Version: 3.2.400.v20180306-0429, Location: reference:file:plugins/org.eclipse.ecf.provider.filetransfer_3.2.400.v20180306-0429.jar
Id: org.eclipse.ecf.provider.filetransfer.httpclient4, Version: 1.1.300.v20180301-0132, Location: reference:file:plugins/org.eclipse.ecf.provider.filetransfer.httpclient4_1.1.300.v20180301-0132.jar
Id: org.eclipse.ecf.provider.filetransfer.httpclient4.ssl, Version: 1.1.100.v20180301-0132, Location: reference:file:plugins/org.eclipse.ecf.provider.filetransfer.httpclient4.ssl_1.1.100.v20180301-0132.jar
Id: org.eclipse.ecf.provider.filetransfer.ssl, Version: 1.0.100.v20180301-0132, Location: reference:file:plugins/org.eclipse.ecf.provider.filetransfer.ssl_1.0.100.v20180301-0132.jar
Id: org.eclipse.ecf.ssl, Version: 1.2.100.v20180301-0132, Location: reference:file:plugins/org.eclipse.ecf.ssl_1.2.100.v20180301-0132.jar
Id: org.eclipse.emf.common, Version: 2.15.0.v20180723-1316, Location: reference:file:plugins/org.eclipse.emf.common_2.15.0.v20180723-1316.jar
Id: org.eclipse.emf.ecore, Version: 2.15.0.v20180722-1159, Location: reference:file:plugins/org.eclipse.emf.ecore_2.15.0.v20180722-1159.jar
Id: org.eclipse.emf.ecore.change, Version: 2.13.0.v20180706-1146, Location: reference:file:plugins/org.eclipse.emf.ecore.change_2.13.0.v20180706-1146.jar
Id: org.eclipse.emf.ecore.xmi, Version: 2.15.0.v20180706-1146, Location: reference:file:plugins/org.eclipse.emf.ecore.xmi_2.15.0.v20180706-1146.jar
Id: org.eclipse.equinox.app, Version: 1.3.600.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.app_1.3.600.v20180827-1235.jar
Id: org.eclipse.equinox.bidi, Version: 1.1.200.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.bidi_1.1.200.v20180827-1235.jar
Id: org.eclipse.equinox.common, Version: 3.10.100.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.common_3.10.100.v20180827-1235.jar
Id: org.eclipse.equinox.concurrent, Version: 1.1.200.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.concurrent_1.1.200.v20180827-1235.jar
Id: org.eclipse.equinox.console, Version: 1.3.100.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.console_1.3.100.v20180827-1235.jar
Id: org.eclipse.equinox.ds, Version: 1.5.200.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.ds_1.5.200.v20180827-1235.jar
Id: org.eclipse.equinox.event, Version: 1.4.300.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.event_1.4.300.v20180827-1235.jar
Id: org.eclipse.equinox.frameworkadmin, Version: 2.1.100.v20180822-1258, Location: reference:file:plugins/org.eclipse.equinox.frameworkadmin_2.1.100.v20180822-1258.jar
Id: org.eclipse.equinox.frameworkadmin.equinox, Version: 1.1.100.v20180822-1258, Location: reference:file:plugins/org.eclipse.equinox.frameworkadmin.equinox_1.1.100.v20180822-1258.jar
Id: org.eclipse.equinox.http.jetty, Version: 3.6.100.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.http.jetty_3.6.100.v20180827-1235.jar
Id: org.eclipse.equinox.http.registry, Version: 1.1.600.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.http.registry_1.1.600.v20180827-1235.jar
Id: org.eclipse.equinox.http.servlet, Version: 1.5.100.v20180904-1442, Location: reference:file:plugins/org.eclipse.equinox.http.servlet_1.5.100.v20180904-1442.jar
Id: org.eclipse.equinox.jsp.jasper, Version: 1.1.100.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.jsp.jasper_1.1.100.v20180827-1235.jar
Id: org.eclipse.equinox.jsp.jasper.registry, Version: 1.1.100.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.jsp.jasper.registry_1.1.100.v20180827-1235.jar
Id: org.eclipse.equinox.launcher, Version: 1.5.100.v20180827-1352, Location: reference:file:plugins/org.eclipse.equinox.launcher_1.5.100.v20180827-1352.jar
Id: org.eclipse.equinox.launcher.cocoa.macosx.x86_64, Version: 1.1.800.v20180827-1352, Location: reference:file:plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.1.800.v20180827-1352/
Id: org.eclipse.equinox.p2.artifact.repository, Version: 1.2.100.v20180822-1258, Location: reference:file:plugins/org.eclipse.equinox.p2.artifact.repository_1.2.100.v20180822-1258.jar
Id: org.eclipse.equinox.p2.console, Version: 1.1.100.v20180822-1258, Location: reference:file:plugins/org.eclipse.equinox.p2.console_1.1.100.v20180822-1258.jar
Id: org.eclipse.equinox.p2.core, Version: 2.5.100.v20180822-1532, Location: reference:file:plugins/org.eclipse.equinox.p2.core_2.5.100.v20180822-1532.jar
Id: org.eclipse.equinox.p2.director, Version: 2.4.100.v20180822-1258, Location: reference:file:plugins/org.eclipse.equinox.p2.director_2.4.100.v20180822-1258.jar
Id: org.eclipse.equinox.p2.director.app, Version: 1.1.200.v20180822-1302, Location: reference:file:plugins/org.eclipse.equinox.p2.director.app_1.1.200.v20180822-1302.jar
Id: org.eclipse.equinox.p2.engine, Version: 2.6.100.v20180822-1302, Location: reference:file:plugins/org.eclipse.equinox.p2.engine_2.6.100.v20180822-1302.jar
Id: org.eclipse.equinox.p2.garbagecollector, Version: 1.1.100.v20180822-1302, Location: reference:file:plugins/org.eclipse.equinox.p2.garbagecollector_1.1.100.v20180822-1302.jar
Id: org.eclipse.equinox.p2.jarprocessor, Version: 1.1.100.v20180822-1302, Location: reference:file:plugins/org.eclipse.equinox.p2.jarprocessor_1.1.100.v20180822-1302.jar
Id: org.eclipse.equinox.p2.metadata, Version: 2.4.100.v20180822-1302, Location: reference:file:plugins/org.eclipse.equinox.p2.metadata_2.4.100.v20180822-1302.jar
Id: org.eclipse.equinox.p2.metadata.repository, Version: 1.3.100.v20180822-1302, Location: reference:file:plugins/org.eclipse.equinox.p2.metadata.repository_1.3.100.v20180822-1302.jar
Id: org.eclipse.equinox.p2.operations, Version: 2.5.100.v20180822-1302, Location: reference:file:plugins/org.eclipse.equinox.p2.operations_2.5.100.v20180822-1302.jar
Id: org.eclipse.equinox.p2.repository, Version: 2.4.100.v20180822-1354, Location: reference:file:plugins/org.eclipse.equinox.p2.repository_2.4.100.v20180822-1354.jar
Id: org.eclipse.equinox.p2.touchpoint.eclipse, Version: 2.2.100.v20180822-1354, Location: reference:file:plugins/org.eclipse.equinox.p2.touchpoint.eclipse_2.2.100.v20180822-1354.jar
Id: org.eclipse.equinox.p2.touchpoint.natives, Version: 1.3.100.v20180822-1354, Location: reference:file:plugins/org.eclipse.equinox.p2.touchpoint.natives_1.3.100.v20180822-1354.jar
Id: org.eclipse.equinox.p2.transport.ecf, Version: 1.2.100.v20180822-1354, Location: reference:file:plugins/org.eclipse.equinox.p2.transport.ecf_1.2.100.v20180822-1354.jar
Id: org.eclipse.equinox.p2.ui, Version: 2.5.200.v20180822-1357, Location: reference:file:plugins/org.eclipse.equinox.p2.ui_2.5.200.v20180822-1357.jar
Id: org.eclipse.equinox.p2.ui.sdk, Version: 1.1.100.v20180827-1122, Location: reference:file:plugins/org.eclipse.equinox.p2.ui.sdk_1.1.100.v20180827-1122.jar
Id: org.eclipse.equinox.p2.ui.sdk.scheduler, Version: 1.4.100.v20180827-1122, Location: reference:file:plugins/org.eclipse.equinox.p2.ui.sdk.scheduler_1.4.100.v20180827-1122.jar
Id: org.eclipse.equinox.p2.updatechecker, Version: 1.2.100.v20180827-1122, Location: reference:file:plugins/org.eclipse.equinox.p2.updatechecker_1.2.100.v20180827-1122.jar
Id: org.eclipse.equinox.preferences, Version: 3.7.200.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.preferences_3.7.200.v20180827-1235.jar
Id: org.eclipse.equinox.registry, Version: 3.8.100.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.registry_3.8.100.v20180827-1235.jar
Id: org.eclipse.equinox.security, Version: 1.2.500.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.security_1.2.500.v20180827-1235.jar
Id: org.eclipse.equinox.security.macosx, Version: 1.101.100.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.security.macosx_1.101.100.v20180827-1235.jar
Id: org.eclipse.equinox.security.ui, Version: 1.2.100.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.security.ui_1.2.100.v20180827-1235.jar
Id: org.eclipse.equinox.simpleconfigurator, Version: 1.3.100.v20180827-1122, Location: initial@reference:file:plugins/org.eclipse.equinox.simpleconfigurator_1.3.100.v20180827-1122.jar
Id: org.eclipse.equinox.simpleconfigurator.manipulator, Version: 2.1.100.v20180827-1122, Location: reference:file:plugins/org.eclipse.equinox.simpleconfigurator.manipulator_2.1.100.v20180827-1122.jar
Id: org.eclipse.equinox.util, Version: 1.1.100.v20180827-1235, Location: reference:file:plugins/org.eclipse.equinox.util_1.1.100.v20180827-1235.jar
Id: org.eclipse.help, Version: 3.8.200.v20180821-0700, Location: reference:file:plugins/org.eclipse.help_3.8.200.v20180821-0700.jar
Id: org.eclipse.help.base, Version: 4.2.300.v20180906-0745, Location: reference:file:plugins/org.eclipse.help.base_4.2.300.v20180906-0745.jar
Id: org.eclipse.help.ui, Version: 4.1.200.v20180821-0700, Location: reference:file:plugins/org.eclipse.help.ui_4.1.200.v20180821-0700.jar
Id: org.eclipse.help.webapp, Version: 3.9.200.v20180821-0700, Location: reference:file:plugins/org.eclipse.help.webapp_3.9.200.v20180821-0700.jar
Id: org.eclipse.jdt.annotation, Version: 1.1.300.v20180905-0314, Location: reference:file:plugins/org.eclipse.jdt.annotation_1.1.300.v20180905-0314.jar
Id: org.eclipse.jdt.core, Version: 3.15.0.v20180905-0317, Location: reference:file:plugins/org.eclipse.jdt.core_3.15.0.v20180905-0317.jar
Id: org.eclipse.jdt.debug, Version: 3.12.0.v20180827-1040, Location: reference:file:plugins/org.eclipse.jdt.debug_3.12.0.v20180827-1040/
Id: org.eclipse.jdt.launching, Version: 3.11.0.v20180827-1040, Location: reference:file:plugins/org.eclipse.jdt.launching_3.11.0.v20180827-1040.jar
Id: org.eclipse.jdt.launching.macosx, Version: 3.4.200.v20180823-0805, Location: reference:file:plugins/org.eclipse.jdt.launching.macosx_3.4.200.v20180823-0805.jar
Id: org.eclipse.jetty.continuation, Version: 9.4.11.v20180605, Location: reference:file:plugins/org.eclipse.jetty.continuation_9.4.11.v20180605.jar
Id: org.eclipse.jetty.http, Version: 9.4.11.v20180605, Location: reference:file:plugins/org.eclipse.jetty.http_9.4.11.v20180605.jar
Id: org.eclipse.jetty.io, Version: 9.4.11.v20180605, Location: reference:file:plugins/org.eclipse.jetty.io_9.4.11.v20180605.jar
Id: org.eclipse.jetty.security, Version: 9.4.11.v20180605, Location: reference:file:plugins/org.eclipse.jetty.security_9.4.11.v20180605.jar
Id: org.eclipse.jetty.server, Version: 9.4.11.v20180605, Location: reference:file:plugins/org.eclipse.jetty.server_9.4.11.v20180605.jar
Id: org.eclipse.jetty.servlet, Version: 9.4.11.v20180605, Location: reference:file:plugins/org.eclipse.jetty.servlet_9.4.11.v20180605.jar
Id: org.eclipse.jetty.util, Version: 9.4.11.v20180605, Location: reference:file:plugins/org.eclipse.jetty.util_9.4.11.v20180605.jar
Id: org.eclipse.jface, Version: 3.14.100.v20180828-0836, Location: reference:file:plugins/org.eclipse.jface_3.14.100.v20180828-0836.jar
Id: org.eclipse.jface.databinding, Version: 1.8.300.v20180828-0836, Location: reference:file:plugins/org.eclipse.jface.databinding_1.8.300.v20180828-0836.jar
Id: org.eclipse.jface.text, Version: 3.14.0.v20180824-1140, Location: reference:file:plugins/org.eclipse.jface.text_3.14.0.v20180824-1140.jar
Id: org.eclipse.mylyn.commons.core, Version: 3.24.2.v20180904-2231, Location: reference:file:plugins/org.eclipse.mylyn.commons.core_3.24.2.v20180904-2231.jar
Id: org.eclipse.mylyn.commons.notifications.core, Version: 1.16.0.v20180904-2231, Location: reference:file:plugins/org.eclipse.mylyn.commons.notifications.core_1.16.0.v20180904-2231.jar
Id: org.eclipse.mylyn.commons.notifications.feed, Version: 1.16.0.v20180904-2231, Location: reference:file:plugins/org.eclipse.mylyn.commons.notifications.feed_1.16.0.v20180904-2231.jar
Id: org.eclipse.mylyn.commons.notifications.ui, Version: 1.16.0.v20180904-2231, Location: reference:file:plugins/org.eclipse.mylyn.commons.notifications.ui_1.16.0.v20180904-2231.jar
Id: org.eclipse.mylyn.commons.screenshots, Version: 3.24.2.v20180904-2231, Location: reference:file:plugins/org.eclipse.mylyn.commons.screenshots_3.24.2.v20180904-2231.jar
Id: org.eclipse.mylyn.commons.ui, Version: 3.24.2.v20180904-2231, Location: reference:file:plugins/org.eclipse.mylyn.commons.ui_3.24.2.v20180904-2231.jar
Id: org.eclipse.mylyn.commons.workbench, Version: 3.24.2.v20180904-2231, Location: reference:file:plugins/org.eclipse.mylyn.commons.workbench_3.24.2.v20180904-2231.jar
Id: org.eclipse.osgi, Version: 3.13.100.v20180827-1536, Location: System Bundle
Id: org.eclipse.osgi.compatibility.state, Version: 1.1.200.v20180827-1536, Location: initial@reference:file:plugins/org.eclipse.osgi.compatibility.state_1.1.200.v20180827-1536.jar
Id: org.eclipse.osgi.services, Version: 3.7.100.v20180827-1536, Location: reference:file:plugins/org.eclipse.osgi.services_3.7.100.v20180827-1536.jar
Id: org.eclipse.osgi.util, Version: 3.5.100.v20180827-1536, Location: reference:file:plugins/org.eclipse.osgi.util_3.5.100.v20180827-1536.jar
Id: org.eclipse.rcp, Version: 4.9.100.v20180906-0745, Location: reference:file:plugins/org.eclipse.rcp_4.9.100.v20180906-0745.jar
Id: org.eclipse.recommenders.news, Version: 2.5.4.v20180909-1132, Location: reference:file:plugins/org.eclipse.recommenders.news_2.5.4.v20180909-1132.jar
Id: org.eclipse.recommenders.news.api, Version: 2.5.4.v20180909-1132, Location: reference:file:plugins/org.eclipse.recommenders.news.api_2.5.4.v20180909-1132.jar
Id: org.eclipse.recommenders.news.impl, Version: 2.5.4.v20180909-1132, Location: reference:file:plugins/org.eclipse.recommenders.news.impl_2.5.4.v20180909-1132.jar
Id: org.eclipse.recommenders.news.rcp, Version: 2.5.4.v20180909-1132, Location: reference:file:plugins/org.eclipse.recommenders.news.rcp_2.5.4.v20180909-1132.jar
Id: org.eclipse.swt, Version: 3.108.0.v20180904-1901, Location: reference:file:plugins/org.eclipse.swt_3.108.0.v20180904-1901.jar
Id: org.eclipse.swt.cocoa.macosx.x86_64, Version: 3.108.0.v20180904-1901, Location: reference:file:plugins/org.eclipse.swt.cocoa.macosx.x86_64_3.108.0.v20180904-1901.jar
Id: org.eclipse.team.core, Version: 3.8.300.v20180827-1041, Location: reference:file:plugins/org.eclipse.team.core_3.8.300.v20180827-1041.jar
Id: org.eclipse.team.ui, Version: 3.8.200.v20180827-1338, Location: reference:file:plugins/org.eclipse.team.ui_3.8.200.v20180827-1338.jar
Id: org.eclipse.text, Version: 3.7.0.v20180822-1511, Location: reference:file:plugins/org.eclipse.text_3.7.0.v20180822-1511.jar
Id: org.eclipse.ui, Version: 3.110.0.v20180828-1350, Location: reference:file:plugins/org.eclipse.ui_3.110.0.v20180828-1350.jar
Id: org.eclipse.ui.browser, Version: 3.6.300.v20180828-0837, Location: reference:file:plugins/org.eclipse.ui.browser_3.6.300.v20180828-0837.jar
Id: org.eclipse.ui.cocoa, Version: 1.2.100.v20180828-0838, Location: reference:file:plugins/org.eclipse.ui.cocoa_1.2.100.v20180828-0838.jar
Id: org.eclipse.ui.console, Version: 3.8.100.v20180821-1744, Location: reference:file:plugins/org.eclipse.ui.console_3.8.100.v20180821-1744.jar
Id: org.eclipse.ui.editors, Version: 3.11.200.v20180822-1511, Location: reference:file:plugins/org.eclipse.ui.editors_3.11.200.v20180822-1511.jar
Id: org.eclipse.ui.forms, Version: 3.7.300.v20180828-1350, Location: reference:file:plugins/org.eclipse.ui.forms_3.7.300.v20180828-1350.jar
Id: org.eclipse.ui.ide, Version: 3.14.100.v20180828-1350, Location: reference:file:plugins/org.eclipse.ui.ide_3.14.100.v20180828-1350.jar
Id: org.eclipse.ui.intro, Version: 3.5.300.v20180823-1505, Location: reference:file:plugins/org.eclipse.ui.intro_3.5.300.v20180823-1505.jar
Id: org.eclipse.ui.intro.quicklinks, Version: 1.0.300.v20180821-0700, Location: reference:file:plugins/org.eclipse.ui.intro.quicklinks_1.0.300.v20180821-0700.jar
Id: org.eclipse.ui.intro.universal, Version: 3.3.300.v20180821-0700, Location: reference:file:plugins/org.eclipse.ui.intro.universal_3.3.300.v20180821-0700.jar
Id: org.eclipse.ui.navigator, Version: 3.7.200.v20180828-0837, Location: reference:file:plugins/org.eclipse.ui.navigator_3.7.200.v20180828-0837.jar
Id: org.eclipse.ui.net, Version: 1.3.300.v20180827-1041, Location: reference:file:plugins/org.eclipse.ui.net_1.3.300.v20180827-1041.jar
Id: org.eclipse.ui.views, Version: 3.9.200.v20180828-0837, Location: reference:file:plugins/org.eclipse.ui.views_3.9.200.v20180828-0837.jar
Id: org.eclipse.ui.views.properties.tabbed, Version: 3.8.200.v20180828-0837, Location: reference:file:plugins/org.eclipse.ui.views.properties.tabbed_3.8.200.v20180828-0837.jar
Id: org.eclipse.ui.workbench, Version: 3.112.0.v20180906-1121, Location: reference:file:plugins/org.eclipse.ui.workbench_3.112.0.v20180906-1121.jar
Id: org.eclipse.ui.workbench.texteditor, Version: 3.11.100.v20180824-1030, Location: reference:file:plugins/org.eclipse.ui.workbench.texteditor_3.11.100.v20180824-1030.jar
Id: org.eclipse.update.configurator, Version: 3.4.100.v20180821-1913, Location: reference:file:plugins/org.eclipse.update.configurator_3.4.100.v20180821-1913.jar
Id: org.hamcrest.core, Version: 1.3.0.v20180420-1519, Location: reference:file:plugins/org.hamcrest.core_1.3.0.v20180420-1519.jar
Id: org.jboss.netty, Version: 3.5.9.Final, Location: reference:file:plugins/org.jboss.netty_3.5.9.Final.jar
Id: org.jpedal.pdf, Version: 4.74.27, Location: reference:file:plugins/org.jpedal.pdf_4.74.27.jar
Id: org.junit, Version: 4.12.0.v201504281640, Location: reference:file:plugins/org.junit_4.12.0.v201504281640/
Id: org.lamport.openjdk.macosx.x86_64, Version: 11.0.3.1, Location: reference:file:plugins/org.lamport.openjdk.macosx.x86_64_11.0.3.1/
Id: org.lamport.tla.toolbox, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox_1.0.0.201907102009/
Id: org.lamport.tla.toolbox.doc, Version: 1.5.4.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.doc_1.5.4.201907102009/
Id: org.lamport.tla.toolbox.editor.basic, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.editor.basic_1.0.0.201907102009.jar
Id: org.lamport.tla.toolbox.jclouds, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.jclouds_1.0.0.201907102009.jar
Id: org.lamport.tla.toolbox.jnlp, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.jnlp_1.0.0.201907102009.jar
Id: org.lamport.tla.toolbox.product.standalone, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.product.standalone_1.0.0.201907102009.jar
Id: org.lamport.tla.toolbox.rss, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.rss_1.0.0.201907102009.jar
Id: org.lamport.tla.toolbox.tool.prover, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.tool.prover_1.0.0.201907102009.jar
Id: org.lamport.tla.toolbox.tool.tla2tex, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.tool.tla2tex_1.0.0.201907102009.jar
Id: org.lamport.tla.toolbox.tool.tlc, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.tool.tlc_1.0.0.201907102009.jar
Id: org.lamport.tla.toolbox.tool.tlc.ui, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tla.toolbox.tool.tlc.ui_1.0.0.201907102009.jar
Id: org.lamport.tlatools, Version: 1.0.0.201907102009, Location: reference:file:plugins/org.lamport.tlatools_1.0.0.201907102009/
Id: org.sat4j.core, Version: 2.3.5.v201308161310, Location: reference:file:plugins/org.sat4j.core_2.3.5.v201308161310.jar
Id: org.sat4j.pb, Version: 2.3.5.v201404071733, Location: reference:file:plugins/org.sat4j.pb_2.3.5.v201404071733.jar
Id: org.tukaani.xz, Version: 1.8.0.v20180207-1613, Location: reference:file:plugins/org.tukaani.xz_1.8.0.v20180207-1613.jar
Id: org.w3c.css.sac, Version: 1.3.1.v200903091627, Location: reference:file:plugins/org.w3c.css.sac_1.3.1.v200903091627.jar
Id: org.w3c.dom.events, Version: 3.0.0.draft20060413_v201105210656, Location: reference:file:plugins/org.w3c.dom.events_3.0.0.draft20060413_v201105210656.jar
Id: org.w3c.dom.smil, Version: 1.0.1.v200903091627, Location: reference:file:plugins/org.w3c.dom.smil_1.0.1.v200903091627.jar
Id: org.w3c.dom.svg, Version: 1.1.0.v201011041433, Location: reference:file:plugins/org.w3c.dom.svg_1.1.0.v201011041433.jar
Id: packet, Version: 2.1.2, Location: reference:file:plugins/packet_2.1.2.jar
Id: s3, Version: 2.1.2, Location: reference:file:plugins/s3_2.1.2.jar
Id: slf4j.api, Version: 1.7.25, Location: reference:file:plugins/slf4j.api_1.7.25.jar
Id: slf4j.nop, Version: 1.7.25, Location: reference:file:plugins/slf4j.nop_1.7.25.jar
Id: slf4j.simple, Version: 1.7.25, Location: reference:file:plugins/slf4j.simple_1.7.25.jar
Id: sts, Version: 2.1.2, Location: reference:file:plugins/sts_2.1.2.jar

*** Security Configuration:
Providers (13): 

 Provider: SUN, Version: 11.0, Class: sun.security.provider.Sun
  Description: SUN (DSA key/parameter generation; DSA signing; SHA-1, MD5 digests; SecureRandom; X.509 certificates; PKCS12, JKS & DKS keystores; PKIX CertPathValidator; PKIX CertPathBuilder; LDAP, Collection CertStores, JavaPolicy Policy; JavaLoginConfig Configuration)
  Services (41):
   Service: MessageDigest, Algorithm: SHA-384, Class: sun.security.provider.SHA5$SHA384
    Aliases: 2.16.840.1.101.3.4.2.2
   Service: CertPathBuilder, Algorithm: PKIX, Class: sun.security.provider.certpath.SunCertPathBuilder
    Attributes:
      ImplementedIn: Software
      ValidationAlgorithm: RFC5280
   Service: Signature, Algorithm: SHA256withDSA, Class: sun.security.provider.DSA$SHA256withDSA
    Aliases: OID.2.16.840.1.101.3.4.3.2
    Attributes:
      KeySize: 2048
      SupportedKeyClasses: java.security.interfaces.DSAPublicKey|java.security.interfaces.DSAPrivateKey
   Service: AlgorithmParameterGenerator, Algorithm: DSA, Class: sun.security.provider.DSAParameterGenerator
    Aliases: OID.1.2.840.10040.4.1
    Attributes:
      ImplementedIn: Software
      KeySize: 2048
   Service: MessageDigest, Algorithm: SHA-224, Class: sun.security.provider.SHA2$SHA224
    Aliases: 2.16.840.1.101.3.4.2.4
   Service: MessageDigest, Algorithm: SHA-256, Class: sun.security.provider.SHA2$SHA256
    Aliases: 2.16.840.1.101.3.4.2.1
   Service: MessageDigest, Algorithm: SHA-512, Class: sun.security.provider.SHA5$SHA512
    Aliases: 2.16.840.1.101.3.4.2.3
   Service: KeyStore, Algorithm: DKS, Class: sun.security.provider.DomainKeyStore$DKS
   Service: SecureRandom, Algorithm: SHA1PRNG, Class: sun.security.provider.SecureRandom
    Attributes:
      ImplementedIn: Software
      ThreadSafe: true
   Service: CertStore, Algorithm: Collection, Class: sun.security.provider.certpath.CollectionCertStore
    Attributes:
      ImplementedIn: Software
   Service: Signature, Algorithm: SHA1withDSA, Class: sun.security.provider.DSA$SHA1withDSA
    Aliases: 1.3.14.3.2.27
    Attributes:
      ImplementedIn: Software
      KeySize: 1024
      SupportedKeyClasses: java.security.interfaces.DSAPublicKey|java.security.interfaces.DSAPrivateKey
   Service: AlgorithmParameters, Algorithm: DSA, Class: sun.security.provider.DSAParameters
    Aliases: OID.1.2.840.10040.4.1
    Attributes:
      ImplementedIn: Software
   Service: MessageDigest, Algorithm: SHA, Class: sun.security.provider.SHA
    Aliases: OID.1.3.14.3.2.26
    Attributes:
      ImplementedIn: Software
   Service: SecureRandom, Algorithm: DRBG, Class: sun.security.provider.DRBG
    Attributes:
      ImplementedIn: Software
      ThreadSafe: true
   Service: Signature, Algorithm: SHA224withDSAinP1363Format, Class: sun.security.provider.DSA$SHA224withDSAinP1363Format
   Service: SecureRandom, Algorithm: NativePRNGBlocking, Class: sun.security.provider.NativePRNG$Blocking
    Attributes:
      ThreadSafe: true
   Service: KeyStore, Algorithm: JKS, Class: sun.security.provider.JavaKeyStore$DualFormatJKS
    Attributes:
      ImplementedIn: Software
   Service: KeyStore, Algorithm: PKCS12, Class: sun.security.pkcs12.PKCS12KeyStore$DualFormatPKCS12
   Service: CertificateFactory, Algorithm: X.509, Class: sun.security.provider.X509Factory
    Aliases: X509
    Attributes:
      ImplementedIn: Software
   Service: MessageDigest, Algorithm: SHA-512/256, Class: sun.security.provider.SHA5$SHA512_256
    Aliases: 2.16.840.1.101.3.4.2.6
   Service: MessageDigest, Algorithm: SHA-512/224, Class: sun.security.provider.SHA5$SHA512_224
    Aliases: 2.16.840.1.101.3.4.2.5
   Service: MessageDigest, Algorithm: MD5, Class: sun.security.provider.MD5
    Attributes:
      ImplementedIn: Software
   Service: KeyPairGenerator, Algorithm: DSA, Class: sun.security.provider.DSAKeyPairGenerator$Current
    Aliases: OID.1.2.840.10040.4.1
    Attributes:
      ImplementedIn: Software
      KeySize: 2048
   Service: MessageDigest, Algorithm: MD2, Class: sun.security.provider.MD2
   Service: MessageDigest, Algorithm: SHA3-384, Class: sun.security.provider.SHA3$SHA384
    Aliases: 2.16.840.1.101.3.4.2.9
   Service: Configuration, Algorithm: JavaLoginConfig, Class: sun.security.provider.ConfigFile$Spi
   Service: CertPathValidator, Algorithm: PKIX, Class: sun.security.provider.certpath.PKIXCertPathValidator
    Attributes:
      ImplementedIn: Software
      ValidationAlgorithm: RFC5280
   Service: SecureRandom, Algorithm: NativePRNG, Class: sun.security.provider.NativePRNG
    Attributes:
      ThreadSafe: true
   Service: Signature, Algorithm: NONEwithDSAinP1363Format, Class: sun.security.provider.DSA$RawDSAinP1363Format
   Service: MessageDigest, Algorithm: SHA3-512, Class: sun.security.provider.SHA3$SHA512
    Aliases: OID.2.16.840.1.101.3.4.2.10
   Service: MessageDigest, Algorithm: SHA3-224, Class: sun.security.provider.SHA3$SHA224
    Aliases: 2.16.840.1.101.3.4.2.7
   Service: MessageDigest, Algorithm: SHA3-256, Class: sun.security.provider.SHA3$SHA256
    Aliases: 2.16.840.1.101.3.4.2.8
   Service: KeyStore, Algorithm: CaseExactJKS, Class: sun.security.provider.JavaKeyStore$CaseExactJKS
   Service: SecureRandom, Algorithm: NativePRNGNonBlocking, Class: sun.security.provider.NativePRNG$NonBlocking
    Attributes:
      ThreadSafe: true
   Service: Policy, Algorithm: JavaPolicy, Class: sun.security.provider.PolicySpiFile
   Service: Signature, Algorithm: SHA224withDSA, Class: sun.security.provider.DSA$SHA224withDSA
    Aliases: OID.2.16.840.1.101.3.4.3.1
    Attributes:
      KeySize: 2048
      SupportedKeyClasses: java.security.interfaces.DSAPublicKey|java.security.interfaces.DSAPrivateKey
   Service: Signature, Algorithm: NONEwithDSA, Class: sun.security.provider.DSA$RawDSA
    Aliases: RawDSA
    Attributes:
      KeySize: 1024
      SupportedKeyClasses: java.security.interfaces.DSAPublicKey|java.security.interfaces.DSAPrivateKey
   Service: Signature, Algorithm: SHA256withDSAinP1363Format, Class: sun.security.provider.DSA$SHA256withDSAinP1363Format
   Service: CertStore, Algorithm: com.sun.security.IndexedCollection, Class: sun.security.provider.certpath.IndexedCollectionCertStore
    Attributes:
      ImplementedIn: Software
   Service: KeyFactory, Algorithm: DSA, Class: sun.security.provider.DSAKeyFactory
    Aliases: OID.1.2.840.10040.4.1
    Attributes:
      ImplementedIn: Software
   Service: Signature, Algorithm: SHA1withDSAinP1363Format, Class: sun.security.provider.DSA$SHA1withDSAinP1363Format

 Provider: SunRsaSign, Version: 11.0, Class: sun.security.rsa.SunRsaSign
  Description: Sun RSA signature provider
  Services (15):
   Service: Signature, Algorithm: SHA512withRSA, Class: sun.security.rsa.RSASignature$SHA512withRSA
    Aliases: 1.2.840.113549.1.1.13
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: Signature, Algorithm: MD5withRSA, Class: sun.security.rsa.RSASignature$MD5withRSA
    Aliases: OID.1.2.840.113549.1.1.4
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: KeyFactory, Algorithm: RSA, Class: sun.security.rsa.RSAKeyFactory$Legacy
    Aliases: 1.2.840.113549.1.1
   Service: Signature, Algorithm: SHA1withRSA, Class: sun.security.rsa.RSASignature$SHA1withRSA
    Aliases: OID.1.2.840.113549.1.1.5
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: AlgorithmParameters, Algorithm: RSASSA-PSS, Class: sun.security.rsa.PSSParameters
    Aliases: 1.2.840.113549.1.1.10
   Service: Signature, Algorithm: SHA512/224withRSA, Class: sun.security.rsa.RSASignature$SHA512_224withRSA
    Aliases: 1.2.840.113549.1.1.15
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: Signature, Algorithm: SHA384withRSA, Class: sun.security.rsa.RSASignature$SHA384withRSA
    Aliases: 1.2.840.113549.1.1.12
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: KeyPairGenerator, Algorithm: RSA, Class: sun.security.rsa.RSAKeyPairGenerator$Legacy
    Aliases: 1.2.840.113549.1.1
   Service: Signature, Algorithm: SHA256withRSA, Class: sun.security.rsa.RSASignature$SHA256withRSA
    Aliases: 1.2.840.113549.1.1.11
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: Signature, Algorithm: MD2withRSA, Class: sun.security.rsa.RSASignature$MD2withRSA
    Aliases: OID.1.2.840.113549.1.1.2
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: Signature, Algorithm: SHA512/256withRSA, Class: sun.security.rsa.RSASignature$SHA512_256withRSA
    Aliases: 1.2.840.113549.1.1.16
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: Signature, Algorithm: SHA224withRSA, Class: sun.security.rsa.RSASignature$SHA224withRSA
    Aliases: 1.2.840.113549.1.1.14
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: KeyPairGenerator, Algorithm: RSASSA-PSS, Class: sun.security.rsa.RSAKeyPairGenerator$PSS
    Aliases: 1.2.840.113549.1.1.10
   Service: KeyFactory, Algorithm: RSASSA-PSS, Class: sun.security.rsa.RSAKeyFactory$PSS
    Aliases: 1.2.840.113549.1.1.10
   Service: Signature, Algorithm: RSASSA-PSS, Class: sun.security.rsa.RSAPSSSignature
    Aliases: 1.2.840.113549.1.1.10
    Attributes:
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey

 Provider: SunEC, Version: 11.0, Class: sun.security.ec.SunEC
  Description: Sun Elliptic Curve provider (EC, ECDSA, ECDH)
  Services (25):
   Service: KeyFactory, Algorithm: EC, Class: sun.security.ec.ECKeyFactory
    Aliases: EllipticCurve
    Attributes:
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey
   Service: KeyAgreement, Algorithm: XDH, Class: sun.security.ec.XDHKeyAgreement
    Attributes:
      ImplementedIn: Software
   Service: Signature, Algorithm: SHA224withECDSA, Class: sun.security.ec.ECDSASignature$SHA224
    Aliases: OID.1.2.840.10045.4.3.1
    Attributes:
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey
   Service: Signature, Algorithm: SHA512withECDSAinP1363Format, Class: sun.security.ec.ECDSASignature$SHA512inP1363Format
   Service: AlgorithmParameters, Algorithm: EC, Class: sun.security.util.ECParameters
    Aliases: EllipticCurve
    Attributes:
      SupportedCurves: [secp112r1,1.3.132.0.6]|[secp112r2,1.3.132.0.7]|[secp128r1,1.3.132.0.28]|[secp128r2,1.3.132.0.29]|[secp160k1,1.3.132.0.9]|[secp160r1,1.3.132.0.8]|[secp160r2,1.3.132.0.30]|[secp192k1,1.3.132.0.31]|[secp192r1,NIST P-192,X9.62 prime192v1,1.2.840.10045.3.1.1]|[secp224k1,1.3.132.0.32]|[secp224r1,NIST P-224,1.3.132.0.33]|[secp256k1,1.3.132.0.10]|[secp256r1,NIST P-256,X9.62 prime256v1,1.2.840.10045.3.1.7]|[secp384r1,NIST P-384,1.3.132.0.34]|[secp521r1,NIST P-521,1.3.132.0.35]|[X9.62 prime192v2,1.2.840.10045.3.1.2]|[X9.62 prime192v3,1.2.840.10045.3.1.3]|[X9.62 prime239v1,1.2.840.10045.3.1.4]|[X9.62 prime239v2,1.2.840.10045.3.1.5]|[X9.62 prime239v3,1.2.840.10045.3.1.6]|[sect113r1,1.3.132.0.4]|[sect113r2,1.3.132.0.5]|[sect131r1,1.3.132.0.22]|[sect131r2,1.3.132.0.23]|[sect163k1,NIST K-163,1.3.132.0.1]|[sect163r1,1.3.132.0.2]|[sect163r2,NIST B-163,1.3.132.0.15]|[sect193r1,1.3.132.0.24]|[sect193r2,1.3.132.0.25]|[sect233k1,NIST K-233,1.3.132.0.26]|[sect233r1,NIST B-233,1.3.132.0.27]|[sect239k1,1.3.132.0.3]|[sect283k1,NIST K-283,1.3.132.0.16]|[sect283r1,NIST B-283,1.3.132.0.17]|[sect409k1,NIST K-409,1.3.132.0.36]|[sect409r1,NIST B-409,1.3.132.0.37]|[sect571k1,NIST K-571,1.3.132.0.38]|[sect571r1,NIST B-571,1.3.132.0.39]|[X9.62 c2tnb191v1,1.2.840.10045.3.0.5]|[X9.62 c2tnb191v2,1.2.840.10045.3.0.6]|[X9.62 c2tnb191v3,1.2.840.10045.3.0.7]|[X9.62 c2tnb239v1,1.2.840.10045.3.0.11]|[X9.62 c2tnb239v2,1.2.840.10045.3.0.12]|[X9.62 c2tnb239v3,1.2.840.10045.3.0.13]|[X9.62 c2tnb359v1,1.2.840.10045.3.0.18]|[X9.62 c2tnb431r1,1.2.840.10045.3.0.20]|[brainpoolP160r1,1.3.36.3.3.2.8.1.1.1]|[brainpoolP192r1,1.3.36.3.3.2.8.1.1.3]|[brainpoolP224r1,1.3.36.3.3.2.8.1.1.5]|[brainpoolP256r1,1.3.36.3.3.2.8.1.1.7]|[brainpoolP320r1,1.3.36.3.3.2.8.1.1.9]|[brainpoolP384r1,1.3.36.3.3.2.8.1.1.11]|[brainpoolP512r1,1.3.36.3.3.2.8.1.1.13]
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey
   Service: KeyPairGenerator, Algorithm: XDH, Class: sun.security.ec.XDHKeyPairGenerator
    Attributes:
      ImplementedIn: Software
   Service: KeyPairGenerator, Algorithm: X448, Class: sun.security.ec.XDHKeyPairGenerator.X448
    Aliases: 1.3.101.111
    Attributes:
      ImplementedIn: Software
   Service: KeyAgreement, Algorithm: X25519, Class: sun.security.ec.XDHKeyAgreement.X25519
    Aliases: 1.3.101.110
    Attributes:
      ImplementedIn: Software
   Service: KeyPairGenerator, Algorithm: X25519, Class: sun.security.ec.XDHKeyPairGenerator.X25519
    Aliases: 1.3.101.110
    Attributes:
      ImplementedIn: Software
   Service: KeyFactory, Algorithm: X25519, Class: sun.security.ec.XDHKeyFactory.X25519
    Aliases: 1.3.101.110
    Attributes:
      ImplementedIn: Software
   Service: Signature, Algorithm: SHA384withECDSAinP1363Format, Class: sun.security.ec.ECDSASignature$SHA384inP1363Format
   Service: KeyAgreement, Algorithm: ECDH, Class: sun.security.ec.ECDHKeyAgreement
    Attributes:
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey
   Service: KeyFactory, Algorithm: XDH, Class: sun.security.ec.XDHKeyFactory
    Attributes:
      ImplementedIn: Software
   Service: Signature, Algorithm: SHA256withECDSA, Class: sun.security.ec.ECDSASignature$SHA256
    Aliases: OID.1.2.840.10045.4.3.2
    Attributes:
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey
   Service: KeyFactory, Algorithm: X448, Class: sun.security.ec.XDHKeyFactory.X448
    Aliases: 1.3.101.111
    Attributes:
      ImplementedIn: Software
   Service: KeyPairGenerator, Algorithm: EC, Class: sun.security.ec.ECKeyPairGenerator
    Aliases: EllipticCurve
    Attributes:
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey
   Service: Signature, Algorithm: NONEwithECDSA, Class: sun.security.ec.ECDSASignature$Raw
    Attributes:
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey
   Service: Signature, Algorithm: SHA512withECDSA, Class: sun.security.ec.ECDSASignature$SHA512
    Aliases: OID.1.2.840.10045.4.3.4
    Attributes:
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey
   Service: Signature, Algorithm: SHA256withECDSAinP1363Format, Class: sun.security.ec.ECDSASignature$SHA256inP1363Format
   Service: Signature, Algorithm: SHA1withECDSAinP1363Format, Class: sun.security.ec.ECDSASignature$SHA1inP1363Format
   Service: Signature, Algorithm: SHA1withECDSA, Class: sun.security.ec.ECDSASignature$SHA1
    Aliases: 1.2.840.10045.4.1
    Attributes:
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey
   Service: Signature, Algorithm: SHA224withECDSAinP1363Format, Class: sun.security.ec.ECDSASignature$SHA224inP1363Format
   Service: Signature, Algorithm: NONEwithECDSAinP1363Format, Class: sun.security.ec.ECDSASignature$RawinP1363Format
   Service: KeyAgreement, Algorithm: X448, Class: sun.security.ec.XDHKeyAgreement.X448
    Aliases: 1.3.101.111
    Attributes:
      ImplementedIn: Software
   Service: Signature, Algorithm: SHA384withECDSA, Class: sun.security.ec.ECDSASignature$SHA384
    Aliases: OID.1.2.840.10045.4.3.3
    Attributes:
      ImplementedIn: Software
      KeySize: 256
      SupportedKeyClasses: java.security.interfaces.ECPublicKey|java.security.interfaces.ECPrivateKey

 Provider: SunJSSE, Version: 11.0, Class: com.sun.net.ssl.internal.ssl.Provider
  Description: Sun JSSE provider(PKCS12, SunX509/PKIX key/trust factories, SSLv3/TLSv1/TLSv1.1/TLSv1.2/TLSv1.3/DTLSv1.0/DTLSv1.2)
  Services (20):
   Service: SSLContext, Algorithm: DTLSv1.2, Class: sun.security.ssl.SSLContextImpl$DTLS12Context
   Service: SSLContext, Algorithm: DTLSv1.0, Class: sun.security.ssl.SSLContextImpl$DTLS10Context
   Service: SSLContext, Algorithm: Default, Class: sun.security.ssl.SSLContextImpl$DefaultSSLContext
   Service: TrustManagerFactory, Algorithm: SunX509, Class: sun.security.ssl.TrustManagerFactoryImpl$SimpleFactory
   Service: KeyManagerFactory, Algorithm: NewSunX509, Class: sun.security.ssl.KeyManagerFactoryImpl$X509
    Aliases: PKIX
   Service: KeyPairGenerator, Algorithm: RSA, Class: sun.security.rsa.RSAKeyPairGenerator$Legacy
    Aliases: 1.2.840.113549.1.1
   Service: KeyStore, Algorithm: PKCS12, Class: sun.security.pkcs12.PKCS12KeyStore
   Service: SSLContext, Algorithm: DTLS, Class: sun.security.ssl.SSLContextImpl$DTLSContext
   Service: KeyFactory, Algorithm: RSA, Class: sun.security.rsa.RSAKeyFactory$Legacy
    Aliases: 1.2.840.113549.1.1
   Service: Signature, Algorithm: MD5andSHA1withRSA, Class: sun.security.ssl.RSASignature
   Service: Signature, Algorithm: MD2withRSA, Class: sun.security.rsa.RSASignature$MD2withRSA
    Aliases: OID.1.2.840.113549.1.1.2
   Service: Signature, Algorithm: MD5withRSA, Class: sun.security.rsa.RSASignature$MD5withRSA
    Aliases: OID.1.2.840.113549.1.1.4
   Service: Signature, Algorithm: SHA1withRSA, Class: sun.security.rsa.RSASignature$SHA1withRSA
    Aliases: OID.1.2.840.113549.1.1.5
   Service: TrustManagerFactory, Algorithm: PKIX, Class: sun.security.ssl.TrustManagerFactoryImpl$PKIXFactory
    Aliases: X509
   Service: SSLContext, Algorithm: TLS, Class: sun.security.ssl.SSLContextImpl$TLSContext
    Aliases: SSL
   Service: SSLContext, Algorithm: TLSv1, Class: sun.security.ssl.SSLContextImpl$TLS10Context
    Aliases: SSLv3
   Service: KeyManagerFactory, Algorithm: SunX509, Class: sun.security.ssl.KeyManagerFactoryImpl$SunX509
   Service: SSLContext, Algorithm: TLSv1.3, Class: sun.security.ssl.SSLContextImpl$TLS13Context
   Service: SSLContext, Algorithm: TLSv1.2, Class: sun.security.ssl.SSLContextImpl$TLS12Context
   Service: SSLContext, Algorithm: TLSv1.1, Class: sun.security.ssl.SSLContextImpl$TLS11Context

 Provider: SunJCE, Version: 11.0, Class: com.sun.crypto.provider.SunJCE
  Description: SunJCE Provider (implements RSA, DES, Triple DES, AES, Blowfish, ARCFOUR, RC2, PBE, Diffie-Hellman, HMAC, ChaCha20)
  Services (137):
   Service: SecretKeyFactory, Algorithm: PBKDF2WithHmacSHA512, Class: com.sun.crypto.provider.PBKDF2Core$HmacSHA512
   Service: KeyGenerator, Algorithm: Blowfish, Class: com.sun.crypto.provider.BlowfishKeyGenerator
   Service: Mac, Algorithm: HmacPBESHA1, Class: com.sun.crypto.provider.HmacPKCS12PBESHA1
    Attributes:
      SupportedKeyFormats: RAW
   Service: KeyGenerator, Algorithm: HmacSHA512, Class: com.sun.crypto.provider.KeyGeneratorCore$HmacSHA2KG$SHA512
    Aliases: OID.1.2.840.113549.2.11
   Service: AlgorithmParameters, Algorithm: GCM, Class: com.sun.crypto.provider.GCMParameters
   Service: Cipher, Algorithm: ChaCha20, Class: com.sun.crypto.provider.ChaCha20Cipher$ChaCha20Only
    Attributes:
      SupportedKeyFormats: RAW
   Service: Cipher, Algorithm: PBEWithHmacSHA1AndAES_128, Class: com.sun.crypto.provider.PBES2Core$HmacSHA1AndAES_128
   Service: KeyGenerator, Algorithm: SunTlsMasterSecret, Class: com.sun.crypto.provider.TlsMasterSecretGenerator
    Aliases: SunTlsExtendedMasterSecret
   Service: AlgorithmParameters, Algorithm: PBES2, Class: com.sun.crypto.provider.PBES2Parameters$General
    Aliases: OID.1.2.840.113549.1.5.13
   Service: Cipher, Algorithm: DES, Class: com.sun.crypto.provider.DESCipher
    Attributes:
      SupportedPaddings: NOPADDING|PKCS5PADDING|ISO10126PADDING
      SupportedKeyFormats: RAW
      SupportedModes: ECB|CBC|PCBC|CTR|CTS|CFB|OFB|CFB8|CFB16|CFB24|CFB32|CFB40|CFB48|CFB56|CFB64|OFB8|OFB16|OFB24|OFB32|OFB40|OFB48|OFB56|OFB64
   Service: Cipher, Algorithm: AES_192/CBC/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES192_CBC_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.22
   Service: Cipher, Algorithm: Blowfish, Class: com.sun.crypto.provider.BlowfishCipher
    Attributes:
      SupportedKeyFormats: RAW
      SupportedPaddings: NOPADDING|PKCS5PADDING|ISO10126PADDING
      SupportedModes: ECB|CBC|PCBC|CTR|CTS|CFB|OFB|CFB8|CFB16|CFB24|CFB32|CFB40|CFB48|CFB56|CFB64|OFB8|OFB16|OFB24|OFB32|OFB40|OFB48|OFB56|OFB64
   Service: SecretKeyFactory, Algorithm: PBKDF2WithHmacSHA1, Class: com.sun.crypto.provider.PBKDF2Core$HmacSHA1
    Aliases: 1.2.840.113549.1.5.12
   Service: AlgorithmParameters, Algorithm: PBEWithMD5AndTripleDES, Class: com.sun.crypto.provider.PBEParameters
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA512AndAES_128, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA512AndAES_128
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA384AndAES_128, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA384AndAES_128
   Service: Cipher, Algorithm: PBEWithHmacSHA256AndAES_128, Class: com.sun.crypto.provider.PBES2Core$HmacSHA256AndAES_128
   Service: AlgorithmParameters, Algorithm: PBEWithSHA1AndRC2_40, Class: com.sun.crypto.provider.PBEParameters
    Aliases: 1.2.840.113549.1.12.1.6
   Service: Cipher, Algorithm: RC2, Class: com.sun.crypto.provider.RC2Cipher
    Attributes:
      SupportedKeyFormats: RAW
      SupportedPaddings: NOPADDING|PKCS5PADDING|ISO10126PADDING
      SupportedModes: ECB|CBC|PCBC|CTR|CTS|CFB|OFB|CFB8|CFB16|CFB24|CFB32|CFB40|CFB48|CFB56|CFB64|OFB8|OFB16|OFB24|OFB32|OFB40|OFB48|OFB56|OFB64
   Service: Cipher, Algorithm: AES_256/OFB/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES256_OFB_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.43
   Service: AlgorithmParameters, Algorithm: PBEWithSHA1AndDESede, Class: com.sun.crypto.provider.PBEParameters
    Aliases: 1.2.840.113549.1.12.1.3
   Service: Cipher, Algorithm: AES_128/GCM/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES128_GCM_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.6
   Service: AlgorithmParameters, Algorithm: PBEWithSHA1AndRC4_128, Class: com.sun.crypto.provider.PBEParameters
    Aliases: 1.2.840.113549.1.12.1.1
   Service: Cipher, Algorithm: PBEWithHmacSHA224AndAES_256, Class: com.sun.crypto.provider.PBES2Core$HmacSHA224AndAES_256
   Service: KeyGenerator, Algorithm: HmacSHA1, Class: com.sun.crypto.provider.HmacSHA1KeyGenerator
    Aliases: OID.1.2.840.113549.2.7
   Service: Cipher, Algorithm: AES, Class: com.sun.crypto.provider.AESCipher$General
    Aliases: Rijndael
    Attributes:
      SupportedKeyFormats: RAW
      SupportedPaddings: NOPADDING|PKCS5PADDING|ISO10126PADDING
      SupportedModes: ECB|CBC|PCBC|CTR|CTS|CFB|OFB|CFB8|CFB16|CFB24|CFB32|CFB40|CFB48|CFB56|CFB64|OFB8|OFB16|OFB24|OFB32|OFB40|OFB48|OFB56|OFB64|GCM|CFB72|CFB80|CFB88|CFB96|CFB104|CFB112|CFB120|CFB128|OFB72|OFB80|OFB88|OFB96|OFB104|OFB112|OFB120|OFB128
   Service: AlgorithmParameters, Algorithm: PBEWithSHA1AndRC4_40, Class: com.sun.crypto.provider.PBEParameters
    Aliases: 1.2.840.113549.1.12.1.2
   Service: Mac, Algorithm: HmacSHA384, Class: com.sun.crypto.provider.HmacCore$HmacSHA384
    Aliases: OID.1.2.840.113549.2.10
    Attributes:
      SupportedKeyFormats: RAW
   Service: Mac, Algorithm: HmacSHA224, Class: com.sun.crypto.provider.HmacCore$HmacSHA224
    Aliases: OID.1.2.840.113549.2.8
    Attributes:
      SupportedKeyFormats: RAW
   Service: Cipher, Algorithm: DESede, Class: com.sun.crypto.provider.DESedeCipher
    Aliases: TripleDES
    Attributes:
      SupportedPaddings: NOPADDING|PKCS5PADDING|ISO10126PADDING
      SupportedKeyFormats: RAW
      SupportedModes: ECB|CBC|PCBC|CTR|CTS|CFB|OFB|CFB8|CFB16|CFB24|CFB32|CFB40|CFB48|CFB56|CFB64|OFB8|OFB16|OFB24|OFB32|OFB40|OFB48|OFB56|OFB64
   Service: KeyFactory, Algorithm: DiffieHellman, Class: com.sun.crypto.provider.DHKeyFactory
    Aliases: OID.1.2.840.113549.1.3.1
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA384AndAES_256, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA384AndAES_256
   Service: Cipher, Algorithm: AES_256/CFB/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES256_CFB_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.44
   Service: Cipher, Algorithm: PBEWithMD5AndDES, Class: com.sun.crypto.provider.PBEWithMD5AndDESCipher
    Aliases: OID.1.2.840.113549.1.5.3
   Service: AlgorithmParameters, Algorithm: DESede, Class: com.sun.crypto.provider.DESedeParameters
    Aliases: TripleDES
   Service: Mac, Algorithm: HmacSHA512/224, Class: com.sun.crypto.provider.HmacCore$HmacSHA512_224
   Service: Cipher, Algorithm: PBEWithHmacSHA512AndAES_256, Class: com.sun.crypto.provider.PBES2Core$HmacSHA512AndAES_256
   Service: Mac, Algorithm: HmacSHA512, Class: com.sun.crypto.provider.HmacCore$HmacSHA512
    Aliases: OID.1.2.840.113549.2.11
    Attributes:
      SupportedKeyFormats: RAW
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA256AndAES_256, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA256AndAES_256
   Service: Cipher, Algorithm: AES_128/CBC/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES128_CBC_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.2
   Service: SecretKeyFactory, Algorithm: PBEWithSHA1AndRC4_128, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithSHA1AndRC4_128
    Aliases: 1.2.840.113549.1.12.1.1
   Service: Cipher, Algorithm: AES_256/ECB/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES256_ECB_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.41
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA1AndAES_128, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA1AndAES_128
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA256AndAES_128, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA256AndAES_128
   Service: Cipher, Algorithm: AESWrap_192, Class: com.sun.crypto.provider.AESWrapCipher$AES192
    Aliases: OID.2.16.840.1.101.3.4.1.25
   Service: Mac, Algorithm: HmacMD5, Class: com.sun.crypto.provider.HmacMD5
    Attributes:
      SupportedKeyFormats: RAW
   Service: Mac, Algorithm: SslMacMD5, Class: com.sun.crypto.provider.SslMacCore$SslMacMD5
    Attributes:
      SupportedKeyFormats: RAW
   Service: Mac, Algorithm: HmacSHA1, Class: com.sun.crypto.provider.HmacSHA1
    Aliases: OID.1.2.840.113549.2.7
    Attributes:
      SupportedKeyFormats: RAW
   Service: KeyGenerator, Algorithm: DES, Class: com.sun.crypto.provider.DESKeyGenerator
   Service: Mac, Algorithm: SslMacSHA1, Class: com.sun.crypto.provider.SslMacCore$SslMacSHA1
    Attributes:
      SupportedKeyFormats: RAW
   Service: AlgorithmParameters, Algorithm: ChaCha20-Poly1305, Class: com.sun.crypto.provider.ChaCha20Poly1305Parameters
    Aliases: 1.2.840.113549.1.9.16.3.18
   Service: Cipher, Algorithm: PBEWithMD5AndTripleDES, Class: com.sun.crypto.provider.PBEWithMD5AndTripleDESCipher
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA224AndAES_128, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA224AndAES_128
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA224AndAES_256, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA224AndAES_256
   Service: Mac, Algorithm: PBEWithHmacSHA384, Class: com.sun.crypto.provider.PBMAC1Core$HmacSHA384
    Attributes:
      SupportedKeyFormats: RAW
   Service: SecretKeyFactory, Algorithm: DES, Class: com.sun.crypto.provider.DESKeyFactory
   Service: Mac, Algorithm: PBEWithHmacSHA224, Class: com.sun.crypto.provider.PBMAC1Core$HmacSHA224
    Attributes:
      SupportedKeyFormats: RAW
   Service: KeyGenerator, Algorithm: RC2, Class: com.sun.crypto.provider.KeyGeneratorCore$RC2KeyGenerator
   Service: SecretKeyFactory, Algorithm: PBKDF2WithHmacSHA256, Class: com.sun.crypto.provider.PBKDF2Core$HmacSHA256
   Service: Cipher, Algorithm: AES_256/GCM/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES256_GCM_NoPadding
    Aliases: 2.16.840.1.101.3.4.1.46
   Service: Cipher, Algorithm: PBEWithHmacSHA384AndAES_128, Class: com.sun.crypto.provider.PBES2Core$HmacSHA384AndAES_128
   Service: KeyGenerator, Algorithm: AES, Class: com.sun.crypto.provider.AESKeyGenerator
    Aliases: Rijndael
   Service: SecretKeyFactory, Algorithm: DESede, Class: com.sun.crypto.provider.DESedeKeyFactory
    Aliases: TripleDES
   Service: Cipher, Algorithm: AESWrap_128, Class: com.sun.crypto.provider.AESWrapCipher$AES128
    Aliases: OID.2.16.840.1.101.3.4.1.5
   Service: Cipher, Algorithm: ARCFOUR, Class: com.sun.crypto.provider.ARCFOURCipher
    Aliases: RC4
    Attributes:
      SupportedKeyFormats: RAW
      SupportedPaddings: NOPADDING
      SupportedModes: ECB
   Service: KeyGenerator, Algorithm: HmacSHA256, Class: com.sun.crypto.provider.KeyGeneratorCore$HmacSHA2KG$SHA256
    Aliases: OID.1.2.840.113549.2.9
   Service: Mac, Algorithm: PBEWithHmacSHA512, Class: com.sun.crypto.provider.PBMAC1Core$HmacSHA512
    Attributes:
      SupportedKeyFormats: RAW
   Service: Cipher, Algorithm: RSA, Class: com.sun.crypto.provider.RSACipher
    Attributes:
      SupportedPaddings: NOPADDING|PKCS1PADDING|OAEPPADDING|OAEPWITHMD5ANDMGF1PADDING|OAEPWITHSHA1ANDMGF1PADDING|OAEPWITHSHA-1ANDMGF1PADDING|OAEPWITHSHA-224ANDMGF1PADDING|OAEPWITHSHA-256ANDMGF1PADDING|OAEPWITHSHA-384ANDMGF1PADDING|OAEPWITHSHA-512ANDMGF1PADDING|OAEPWITHSHA-512/224ANDMGF1PADDING|OAEPWITHSHA-512/256ANDMGF1PADDING
      SupportedModes: ECB
      SupportedKeyClasses: java.security.interfaces.RSAPublicKey|java.security.interfaces.RSAPrivateKey
   Service: KeyGenerator, Algorithm: SunTls12Prf, Class: com.sun.crypto.provider.TlsPrfGenerator$V12
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA512AndAES_128, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA512AndAES_128
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA1AndAES_128, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA1AndAES_128
   Service: Cipher, Algorithm: PBEWithSHA1AndRC4_128, Class: com.sun.crypto.provider.PKCS12PBECipherCore$PBEWithSHA1AndRC4_128
    Aliases: 1.2.840.113549.1.12.1.1
   Service: KeyGenerator, Algorithm: ARCFOUR, Class: com.sun.crypto.provider.KeyGeneratorCore$ARCFOURKeyGenerator
    Aliases: RC4
   Service: Cipher, Algorithm: ChaCha20-Poly1305, Class: com.sun.crypto.provider.ChaCha20Cipher$ChaCha20Poly1305
    Aliases: 1.2.840.113549.1.9.16.3.18
    Attributes:
      SupportedKeyFormats: RAW
   Service: AlgorithmParameters, Algorithm: PBEWithSHA1AndRC2_128, Class: com.sun.crypto.provider.PBEParameters
    Aliases: 1.2.840.113549.1.12.1.5
   Service: Cipher, Algorithm: PBEWithHmacSHA1AndAES_256, Class: com.sun.crypto.provider.PBES2Core$HmacSHA1AndAES_256
   Service: KeyGenerator, Algorithm: SunTlsPrf, Class: com.sun.crypto.provider.TlsPrfGenerator$V10
   Service: AlgorithmParameters, Algorithm: DiffieHellman, Class: com.sun.crypto.provider.DHParameters
    Aliases: OID.1.2.840.113549.1.3.1
   Service: Mac, Algorithm: PBEWithHmacSHA1, Class: com.sun.crypto.provider.PBMAC1Core$HmacSHA1
    Attributes:
      SupportedKeyFormatS: RAW
   Service: KeyGenerator, Algorithm: HmacMD5, Class: com.sun.crypto.provider.HmacMD5KeyGenerator
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA512AndAES_256, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA512AndAES_256
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA384AndAES_256, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA384AndAES_256
   Service: Cipher, Algorithm: PBEWithHmacSHA256AndAES_256, Class: com.sun.crypto.provider.PBES2Core$HmacSHA256AndAES_256
   Service: Cipher, Algorithm: AESWrap, Class: com.sun.crypto.provider.AESWrapCipher$General
    Attributes:
      SupportedKeyFormats: RAW
      SupportedPaddings: NOPADDING
      SupportedModes: ECB
   Service: AlgorithmParameters, Algorithm: OAEP, Class: com.sun.crypto.provider.OAEPParameters
   Service: SecretKeyFactory, Algorithm: PBEWithSHA1AndRC2_40, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithSHA1AndRC2_40
    Aliases: 1.2.840.113549.1.12.1.6
   Service: Cipher, Algorithm: AES_192/CFB/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES192_CFB_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.24
   Service: Cipher, Algorithm: AES_192/OFB/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES192_OFB_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.23
   Service: Cipher, Algorithm: PBEWithSHA1AndRC2_40, Class: com.sun.crypto.provider.PKCS12PBECipherCore$PBEWithSHA1AndRC2_40
    Aliases: 1.2.840.113549.1.12.1.6
   Service: Cipher, Algorithm: PBEWithHmacSHA224AndAES_128, Class: com.sun.crypto.provider.PBES2Core$HmacSHA224AndAES_128
   Service: KeyGenerator, Algorithm: SunTlsKeyMaterial, Class: com.sun.crypto.provider.TlsKeyMaterialGenerator
    Aliases: SunTls12KeyMaterial
   Service: SecretKeyFactory, Algorithm: PBEWithSHA1AndDESede, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithSHA1AndDESede
    Aliases: 1.2.840.113549.1.12.1.3
   Service: Cipher, Algorithm: AES_256/CBC/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES256_CBC_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.42
   Service: KeyPairGenerator, Algorithm: DiffieHellman, Class: com.sun.crypto.provider.DHKeyPairGenerator
    Aliases: OID.1.2.840.113549.1.3.1
   Service: SecretKeyFactory, Algorithm: PBEWithSHA1AndRC2_128, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithSHA1AndRC2_128
    Aliases: 1.2.840.113549.1.12.1.5
   Service: SecretKeyFactory, Algorithm: PBEWithSHA1AndRC4_40, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithSHA1AndRC4_40
    Aliases: 1.2.840.113549.1.12.1.2
   Service: Cipher, Algorithm: PBEWithSHA1AndDESede, Class: com.sun.crypto.provider.PKCS12PBECipherCore$PBEWithSHA1AndDESede
    Aliases: 1.2.840.113549.1.12.1.3
   Service: Mac, Algorithm: HmacSHA256, Class: com.sun.crypto.provider.HmacCore$HmacSHA256
    Aliases: OID.1.2.840.113549.2.9
    Attributes:
      SupportedKeyFormats: RAW
   Service: Cipher, Algorithm: AES_192/ECB/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES192_ECB_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.21
   Service: Cipher, Algorithm: PBEWithSHA1AndRC4_40, Class: com.sun.crypto.provider.PKCS12PBECipherCore$PBEWithSHA1AndRC4_40
    Aliases: 1.2.840.113549.1.12.1.2
   Service: AlgorithmParameters, Algorithm: PBEWithMD5AndDES, Class: com.sun.crypto.provider.PBEParameters
    Aliases: OID.1.2.840.113549.1.5.3
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA384AndAES_128, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA384AndAES_128
   Service: AlgorithmParameters, Algorithm: DES, Class: com.sun.crypto.provider.DESParameters
   Service: KeyAgreement, Algorithm: DiffieHellman, Class: com.sun.crypto.provider.DHKeyAgreement
    Aliases: OID.1.2.840.113549.1.3.1
    Attributes:
      SupportedKeyClasses: javax.crypto.interfaces.DHPublicKey|javax.crypto.interfaces.DHPrivateKey
   Service: Mac, Algorithm: HmacSHA512/256, Class: com.sun.crypto.provider.HmacCore$HmacSHA512_256
   Service: Cipher, Algorithm: PBEWithHmacSHA512AndAES_128, Class: com.sun.crypto.provider.PBES2Core$HmacSHA512AndAES_128
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA256AndAES_128, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA256AndAES_128
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA1AndAES_256, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA1AndAES_256
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA256AndAES_256, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA256AndAES_256
   Service: AlgorithmParameters, Algorithm: RC2, Class: com.sun.crypto.provider.RC2Parameters
   Service: AlgorithmParameterGenerator, Algorithm: DiffieHellman, Class: com.sun.crypto.provider.DHParameterGenerator
    Aliases: OID.1.2.840.113549.1.3.1
   Service: KeyGenerator, Algorithm: SunTlsRsaPremasterSecret, Class: com.sun.crypto.provider.TlsRsaPremasterSecretGenerator
    Aliases: SunTls12RsaPremasterSecret
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA224AndAES_256, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA224AndAES_256
   Service: AlgorithmParameters, Algorithm: AES, Class: com.sun.crypto.provider.AESParameters
    Aliases: Rijndael
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA224AndAES_128, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA224AndAES_128
   Service: Mac, Algorithm: PBEWithHmacSHA256, Class: com.sun.crypto.provider.PBMAC1Core$HmacSHA256
    Attributes:
      SupportedKeyFormats: RAW
   Service: Cipher, Algorithm: AES_128/CFB/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES128_CFB_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.4
   Service: Cipher, Algorithm: AES_128/OFB/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES128_OFB_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.3
   Service: Cipher, Algorithm: PBEWithSHA1AndRC2_128, Class: com.sun.crypto.provider.PKCS12PBECipherCore$PBEWithSHA1AndRC2_128
    Aliases: 1.2.840.113549.1.12.1.5
   Service: SecretKeyFactory, Algorithm: PBEWithMD5AndTripleDES, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithMD5AndTripleDES
   Service: SecretKeyFactory, Algorithm: PBEWithMD5AndDES, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithMD5AndDES
    Aliases: OID.1.2.840.113549.1.5.3
   Service: SecretKeyFactory, Algorithm: PBKDF2WithHmacSHA384, Class: com.sun.crypto.provider.PBKDF2Core$HmacSHA384
   Service: SecretKeyFactory, Algorithm: PBKDF2WithHmacSHA224, Class: com.sun.crypto.provider.PBKDF2Core$HmacSHA224
   Service: Cipher, Algorithm: PBEWithHmacSHA384AndAES_256, Class: com.sun.crypto.provider.PBES2Core$HmacSHA384AndAES_256
   Service: Cipher, Algorithm: AES_128/ECB/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES128_ECB_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.1
   Service: Cipher, Algorithm: AESWrap_256, Class: com.sun.crypto.provider.AESWrapCipher$AES256
    Aliases: 2.16.840.1.101.3.4.1.45
   Service: KeyGenerator, Algorithm: HmacSHA384, Class: com.sun.crypto.provider.KeyGeneratorCore$HmacSHA2KG$SHA384
    Aliases: OID.1.2.840.113549.2.10
   Service: KeyGenerator, Algorithm: HmacSHA224, Class: com.sun.crypto.provider.KeyGeneratorCore$HmacSHA2KG$SHA224
    Aliases: OID.1.2.840.113549.2.8
   Service: Cipher, Algorithm: DESedeWrap, Class: com.sun.crypto.provider.DESedeWrapCipher
    Attributes:
      SupportedPaddings: NOPADDING
      SupportedKeyFormats: RAW
      SupportedModes: CBC
   Service: Cipher, Algorithm: AES_192/GCM/NoPadding, Class: com.sun.crypto.provider.AESCipher$AES192_GCM_NoPadding
    Aliases: OID.2.16.840.1.101.3.4.1.26
   Service: KeyStore, Algorithm: JCEKS, Class: com.sun.crypto.provider.JceKeyStore
   Service: AlgorithmParameters, Algorithm: PBE, Class: com.sun.crypto.provider.PBEParameters
   Service: KeyGenerator, Algorithm: ChaCha20, Class: com.sun.crypto.provider.KeyGeneratorCore$ChaCha20KeyGenerator
   Service: AlgorithmParameters, Algorithm: Blowfish, Class: com.sun.crypto.provider.BlowfishParameters
   Service: SecretKeyFactory, Algorithm: PBEWithHmacSHA512AndAES_256, Class: com.sun.crypto.provider.PBEKeyFactory$PBEWithHmacSHA512AndAES_256
   Service: AlgorithmParameters, Algorithm: PBEWithHmacSHA1AndAES_256, Class: com.sun.crypto.provider.PBES2Parameters$HmacSHA1AndAES_256
   Service: KeyGenerator, Algorithm: DESede, Class: com.sun.crypto.provider.DESedeKeyGenerator
    Aliases: TripleDES

 Provider: SunJGSS, Version: 11.0, Class: sun.security.jgss.SunProvider
  Description: Sun (Kerberos v5, SPNEGO)
  Services (2):
   Service: GssApiMechanism, Algorithm: 1.3.6.1.5.5.2, Class: sun.security.jgss.spnego.SpNegoMechFactory
   Service: GssApiMechanism, Algorithm: 1.2.840.113554.1.2.2, Class: sun.security.jgss.krb5.Krb5MechFactory

 Provider: SunSASL, Version: 11.0, Class: com.sun.security.sasl.Provider
  Description: Sun SASL provider(implements client mechanisms for: DIGEST-MD5, EXTERNAL, PLAIN, CRAM-MD5, NTLM; server mechanisms for: DIGEST-MD5, CRAM-MD5, NTLM)
  Services (8):
   Service: SaslClientFactory, Algorithm: PLAIN, Class: com.sun.security.sasl.ClientFactoryImpl
   Service: SaslServerFactory, Algorithm: CRAM-MD5, Class: com.sun.security.sasl.ServerFactoryImpl
   Service: SaslClientFactory, Algorithm: NTLM, Class: com.sun.security.sasl.ntlm.FactoryImpl
   Service: SaslClientFactory, Algorithm: EXTERNAL, Class: com.sun.security.sasl.ClientFactoryImpl
   Service: SaslServerFactory, Algorithm: NTLM, Class: com.sun.security.sasl.ntlm.FactoryImpl
   Service: SaslServerFactory, Algorithm: DIGEST-MD5, Class: com.sun.security.sasl.digest.FactoryImpl
   Service: SaslClientFactory, Algorithm: DIGEST-MD5, Class: com.sun.security.sasl.digest.FactoryImpl
   Service: SaslClientFactory, Algorithm: CRAM-MD5, Class: com.sun.security.sasl.ClientFactoryImpl

 Provider: XMLDSig, Version: 11.0, Class: org.jcp.xml.dsig.internal.dom.XMLDSigRI
  Description: XMLDSig (DOM XMLSignatureFactory; DOM KeyInfoFactory; C14N 1.0, C14N 1.1, Exclusive C14N, Base64, Enveloped, XPath, XPath2, XSLT TransformServices)
  Services (13):
   Service: KeyInfoFactory, Algorithm: DOM, Class: org.jcp.xml.dsig.internal.dom.DOMKeyInfoFactory
   Service: TransformService, Algorithm: http://www.w3.org/TR/1999/REC-xpath-19991116, Class: org.jcp.xml.dsig.internal.dom.DOMXPathTransform
    Aliases: XPATH
    Attributes:
      MechanismType: DOM
   Service: TransformService, Algorithm: http://www.w3.org/TR/2001/REC-xml-c14n-20010315#WithComments, Class: org.jcp.xml.dsig.internal.dom.DOMCanonicalXMLC14NMethod
    Aliases: INCLUSIVE_WITH_COMMENTS
    Attributes:
      MechanismType: DOM
   Service: TransformService, Algorithm: http://www.w3.org/2000/09/xmldsig#base64, Class: org.jcp.xml.dsig.internal.dom.DOMBase64Transform
    Aliases: BASE64
    Attributes:
      MechanismType: DOM
   Service: TransformService, Algorithm: http://www.w3.org/2000/09/xmldsig#enveloped-signature, Class: org.jcp.xml.dsig.internal.dom.DOMEnvelopedTransform
    Aliases: ENVELOPED
    Attributes:
      MechanismType: DOM
   Service: TransformService, Algorithm: http://www.w3.org/TR/2001/REC-xml-c14n-20010315, Class: org.jcp.xml.dsig.internal.dom.DOMCanonicalXMLC14NMethod
    Aliases: INCLUSIVE
    Attributes:
      MechanismType: DOM
   Service: XMLSignatureFactory, Algorithm: DOM, Class: org.jcp.xml.dsig.internal.dom.DOMXMLSignatureFactory
   Service: TransformService, Algorithm: http://www.w3.org/2001/10/xml-exc-c14n#, Class: org.jcp.xml.dsig.internal.dom.DOMExcC14NMethod
    Aliases: EXCLUSIVE
    Attributes:
      MechanismType: DOM
   Service: TransformService, Algorithm: http://www.w3.org/2002/06/xmldsig-filter2, Class: org.jcp.xml.dsig.internal.dom.DOMXPathFilter2Transform
    Aliases: XPATH2
    Attributes:
      MechanismType: DOM
   Service: TransformService, Algorithm: http://www.w3.org/TR/1999/REC-xslt-19991116, Class: org.jcp.xml.dsig.internal.dom.DOMXSLTTransform
    Aliases: XSLT
    Attributes:
      MechanismType: DOM
   Service: TransformService, Algorithm: http://www.w3.org/2006/12/xml-c14n11#WithComments, Class: org.jcp.xml.dsig.internal.dom.DOMCanonicalXMLC14N11Method
    Attributes:
      MechanismType: DOM
   Service: TransformService, Algorithm: http://www.w3.org/2006/12/xml-c14n11, Class: org.jcp.xml.dsig.internal.dom.DOMCanonicalXMLC14N11Method
    Attributes:
      MechanismType: DOM
   Service: TransformService, Algorithm: http://www.w3.org/2001/10/xml-exc-c14n#WithComments, Class: org.jcp.xml.dsig.internal.dom.DOMExcC14NMethod
    Aliases: EXCLUSIVE_WITH_COMMENTS
    Attributes:
      MechanismType: DOM

 Provider: SunPCSC, Version: 11.0, Class: sun.security.smartcardio.SunPCSC
  Description: Sun PC/SC provider
  Services (1):
   Service: TerminalFactory, Algorithm: PC/SC, Class: sun.security.smartcardio.SunPCSC$Factory

 Provider: JdkLDAP, Version: 11.0, Class: sun.security.provider.certpath.ldap.JdkLDAP
  Description: JdkLDAP Provider (implements LDAP CertStore)
  Services (1):
   Service: CertStore, Algorithm: LDAP, Class: sun.security.provider.certpath.ldap.LDAPCertStore
    Attributes:
      ImplementedIn: Software
      LDAPSchema: RFC2587

 Provider: JdkSASL, Version: 11.0, Class: com.sun.security.sasl.gsskerb.JdkSASL
  Description: JDK SASL provider(implements client and server mechanisms for GSSAPI)
  Services (2):
   Service: SaslClientFactory, Algorithm: GSSAPI, Class: com.sun.security.sasl.gsskerb.FactoryImpl
   Service: SaslServerFactory, Algorithm: GSSAPI, Class: com.sun.security.sasl.gsskerb.FactoryImpl

 Provider: Apple, Version: 11.0, Class: apple.security.AppleProvider
  Description: Apple Provider
  Services (1):
   Service: KeyStore, Algorithm: KeychainStore, Class: apple.security.KeychainStore

 Provider: SunPKCS11, Version: 11.0, Class: sun.security.pkcs11.SunPKCS11
  Description: Unconfigured and unusable PKCS11 provider
  Services (0):