<?xml version='1.0' encoding='UTF-8'?>
<?artifactRepository version='1.1.0'?>
<repository name='Bundle pool' type='org.eclipse.equinox.p2.artifact.repository.simpleRepository' version='1'>
  <properties size='2'>
    <property name='p2.system' value='true'/>
    <property name='p2.timestamp' value='1507315752194'/>
  </properties>
  <mappings size='3'>
    <rule filter='(&amp; (classifier=osgi.bundle))' output='${repoUrl}/plugins/${id}_${version}.jar'/>
    <rule filter='(&amp; (classifier=binary))' output='${repoUrl}/binary/${id}_${version}'/>
    <rule filter='(&amp; (classifier=org.eclipse.update.feature))' output='${repoUrl}/features/${id}_${version}.jar'/>
  </mappings>
  <artifacts size='262'>
    <artifact classifier='osgi.bundle' id='javax.annotation' version='1.2.0.v201602091430'>
      <properties size='1'>
        <property name='download.size' value='29148'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.dialogs' version='1.1.100.v20170104-1425'>
      <properties size='1'>
        <property name='download.size' value='46176'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.osgi.compatibility.state' version='1.1.0.v20170516-1513'>
      <properties size='1'>
        <property name='download.size' value='244476'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ecf.ssl' version='1.2.0.v20160817-1024'>
      <properties size='1'>
        <property name='download.size' value='14806'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.hamcrest.core' version='1.3.0.v201303031735'>
      <properties size='1'>
        <property name='download.size' value='55802'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.services' version='1.3.0.v20170307-2032'>
      <properties size='1'>
        <property name='download.size' value='25795'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.simpleconfigurator.manipulator' version='2.0.300.v20170515-0721'>
      <properties size='1'>
        <property name='download.size' value='26560'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-bouncycastle' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='10628'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.intro.quicklinks' version='1.0.100.v20170515-0756'>
      <properties size='1'>
        <property name='download.size' value='24052'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.di' version='1.2.100.v20170414-1137'>
      <properties size='1'>
        <property name='download.size' value='17592'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-slf4j' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='11756'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.sat4j.core' version='2.3.5.v201308161310'>
      <properties size='1'>
        <property name='download.size' value='363567'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding.property' version='1.6.100.v20170515-1119'>
      <properties size='1'>
        <property name='download.size' value='196563'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.tla2tex' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='39110'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.runtime' version='3.13.0.v20170207-1030'>
      <properties size='1'>
        <property name='download.size' value='75827'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.help' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='39129'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ecf.identity' version='3.8.0.v20161203-2153'>
      <properties size='1'>
        <property name='download.size' value='63446'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.jclouds' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='39237'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.launcher.gtk.linux.x86_64' version='1.1.500.v20170531-1133'>
      <properties size='1'>
        <property name='download.size' value='83430'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.simpleconfigurator' version='1.2.0.v20170110-1705'>
      <properties size='1'>
        <property name='download.size' value='46449'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.help.ui' version='4.1.0.v20170311-0931'>
      <properties size='1'>
        <property name='download.size' value='470805'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.tukaani.xz' version='1.5.0.v20170111-1717'>
      <properties size='1'>
        <property name='download.size' value='118332'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench.addons.swt' version='1.3.1.v20170319-1442'>
      <properties size='1'>
        <property name='download.size' value='157046'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.core' version='2.4.100.v20160419-0834'>
      <properties size='1'>
        <property name='download.size' value='73322'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.ecf.core.feature' version='1.4.0.v20170516-2248'>
      <properties size='1'>
        <property name='download.size' value='19164'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-blobstore' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='194971'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.abstratt.graphviz.ui' version='2.1.201501.201606262232'>
      <properties size='1'>
        <property name='download.size' value='17238'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.app' version='1.3.400.v20150715-1528'>
      <properties size='1'>
        <property name='download.size' value='87766'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.bindings' version='0.12.0.v20170312-2302'>
      <properties size='1'>
        <property name='download.size' value='50790'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.equinox.p2.core.feature' version='1.4.0.v20170524-1345'>
      <properties size='1'>
        <property name='download.size' value='18787'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.console' version='3.7.0.v20170315-0941'>
      <properties size='1'>
        <property name='download.size' value='209220'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='com.abstratt.eclipsegraphviz.feature' version='2.1.201501.201606262232'>
      <properties size='1'>
        <property name='download.size' value='6156'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.util.gui' version='1.8.0.v20170214-1941'>
      <properties size='1'>
        <property name='download.size' value='186491'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.felix.gogo.runtime' version='0.10.0.v201209301036'>
      <properties size='1'>
        <property name='download.size' value='80249'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.prover' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='39115'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.servicemix.bundles.javax-inject' version='1.0.0.2'>
      <properties size='1'>
        <property name='download.size' value='10879'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.jnlp' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='7907095'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ecf' version='3.8.0.v20170104-0657'>
      <properties size='1'>
        <property name='download.size' value='109312'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.felix.scr' version='2.0.10.v20170501-2007'>
      <properties size='1'>
        <property name='download.size' value='372298'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.abstratt.graphviz' version='2.1.201501.201606262232'>
      <properties size='1'>
        <property name='download.size' value='16727'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding.beans' version='1.4.0.v20170210-0856'>
      <properties size='1'>
        <property name='download.size' value='80164'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.common' version='3.9.0.v20170207-1454'>
      <properties size='1'>
        <property name='download.size' value='121509'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding.observable' version='1.6.100.v20170515-1119'>
      <properties size='1'>
        <property name='download.size' value='354601'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.google.inject' version='3.0.0'>
      <properties size='1'>
        <property name='download.size' value='710492'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench3' version='0.14.0.v20160630-0740'>
      <properties size='1'>
        <property name='download.size' value='10947'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.frameworkadmin.equinox' version='1.0.800.v20170524-1345'>
      <properties size='1'>
        <property name='download.size' value='64644'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.http.registry' version='1.1.400.v20150715-1528'>
      <properties size='1'>
        <property name='download.size' value='46410'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.junit' version='4.12.0.v201504281640'>
      <properties size='1'>
        <property name='download.size' value='291025'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.common' version='2.13.0.v20170609-0707'>
      <properties size='1'>
        <property name='download.size' value='358560'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-joda' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='11822'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='javax.mail' version='1.4.0.v201005080615'>
      <properties size='1'>
        <property name='download.size' value='320960'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.codec' version='1.9.0.v20170208-1614'>
      <properties size='1'>
        <property name='download.size' value='291075'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.ecore.change' version='2.11.0.v20170609-0707'>
      <properties size='1'>
        <property name='download.size' value='86988'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.util' version='1.0.500.v20130404-1337'>
      <properties size='1'>
        <property name='download.size' value='77932'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.editor.basic' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='302021'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.updatechecker' version='1.1.400.v20170106-2125'>
      <properties size='1'>
        <property name='download.size' value='18504'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.ibm.icu' version='58.2.0.v20170418-1837'>
      <properties size='1'>
        <property name='download.size' value='12058291'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.director' version='2.3.300.v20160504-1450'>
      <properties size='1'>
        <property name='download.size' value='104577'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.servicemix.bundles.java-xmlbuilder' version='0.6.0.1'>
      <properties size='1'>
        <property name='download.size' value='30631'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.continuation' version='9.4.5.v20170502'>
      <properties size='1'>
        <property name='download.size' value='23359'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.swt.gtk.linux.x86_64' version='3.106.0.v20170608-0516'>
      <properties size='1'>
        <property name='download.size' value='2653477'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.contenttype' version='3.6.0.v20170207-1037'>
      <properties size='1'>
        <property name='download.size' value='104299'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.filesystem' version='1.7.0.v20170406-1337'>
      <properties size='1'>
        <property name='download.size' value='66690'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.team.ui' version='3.8.1.v20170515-1133'>
      <properties size='1'>
        <property name='download.size' value='1634521'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='bcprov-ext' version='1.58.0'>
      <properties size='1'>
        <property name='download.size' value='4025895'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.google.inject.assistedinject' version='3.0.0'>
      <properties size='1'>
        <property name='download.size' value='36998'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.lucene.core' version='6.1.0.v20161115-1612'>
      <properties size='1'>
        <property name='download.size' value='2592101'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.di.extensions.supplier' version='0.15.0.v20170407-0928'>
      <properties size='1'>
        <property name='download.size' value='35137'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.emf.ecore' version='2.13.0.v20170609-0707'>
      <properties size='1'>
        <property name='download.size' value='18155'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.jpedal.pdf' version='4.74.27'>
      <properties size='1'>
        <property name='download.size' value='1833100'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.ecf.filetransfer.httpclient4.ssl.feature' version='1.1.0.v20170110-1317'>
      <properties size='1'>
        <property name='download.size' value='27336'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.di.extensions' version='0.15.0.v20170228-1728'>
      <properties size='1'>
        <property name='download.size' value='11425'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.w3c.dom.events' version='3.0.0.draft20060413_v201105210656'>
      <properties size='1'>
        <property name='download.size' value='13309'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.intro.universal' version='3.3.100.v20170515-1335'>
      <properties size='1'>
        <property name='download.size' value='2082779'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.contexts' version='1.6.0.v20170322-1144'>
      <properties size='1'>
        <property name='download.size' value='48411'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.frameworkadmin' version='2.0.300.v20160504-1450'>
      <properties size='1'>
        <property name='download.size' value='37428'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-scriptbuilder' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='173212'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.tool.tlc.ui' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='475091'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='slf4j.nop' version='1.7.5'>
      <properties size='1'>
        <property name='download.size' value='4091'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.swt' version='3.106.0.v20170608-0516'>
      <properties size='1'>
        <property name='download.size' value='19372'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.commands' version='0.12.100.v20170513-0428'>
      <properties size='1'>
        <property name='download.size' value='25607'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.jsp.jasper' version='1.0.500.v20150119-1358'>
      <properties size='1'>
        <property name='download.size' value='28120'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ecf.provider.filetransfer.ssl' version='1.0.0.v20160817-1024'>
      <properties size='1'>
        <property name='download.size' value='9897'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench.renderers.swt' version='0.14.100.v20170612-1255'>
      <properties size='1'>
        <property name='download.size' value='261867'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='bcpkix' version='1.58.0'>
      <properties size='1'>
        <property name='download.size' value='785915'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.servicemix.bundles.aopalliance' version='1.0.0.6'>
      <properties size='1'>
        <property name='download.size' value='16513'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.sun.jna' version='4.1.0'>
      <properties size='1'>
        <property name='download.size' value='914597'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.variables' version='3.4.0.v20170113-2056'>
      <properties size='1'>
        <property name='download.size' value='36040'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='aws-s3' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='33193'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ecf.provider.filetransfer.httpclient4' version='1.1.200.v20170314-0133'>
      <properties size='1'>
        <property name='download.size' value='75498'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.garbagecollector' version='1.0.300.v20160504-1450'>
      <properties size='1'>
        <property name='download.size' value='25987'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.jcraft.jsch.agentproxy.osgi' version='0.0.8'>
      <properties size='1'>
        <property name='download.size' value='35332'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.security' version='9.4.5.v20170502'>
      <properties size='1'>
        <property name='download.size' value='101959'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tlatools.consumer.distributed' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='18855'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.compare' version='3.7.100.v20170303-1847'>
      <properties size='1'>
        <property name='download.size' value='878385'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.tlc' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='39451'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.workbench' version='3.110.0.v20170612-1255'>
      <properties size='1'>
        <property name='download.size' value='3734264'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.metadata.repository' version='1.2.400.v20170511-1106'>
      <properties size='1'>
        <property name='download.size' value='122423'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.ecf.filetransfer.ssl.feature' version='1.1.0.v20170110-1317'>
      <properties size='1'>
        <property name='download.size' value='23259'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jdt.launching' version='3.9.0.v20170419-1235'>
      <properties size='1'>
        <property name='download.size' value='344412'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.ui.sdk.scheduler' version='1.3.100.v20170418-0708'>
      <properties size='1'>
        <property name='download.size' value='123651'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.services' version='2.1.0.v20170407-0928'>
      <properties size='1'>
        <property name='download.size' value='56924'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.compare.core' version='3.6.100.v20170516-0820'>
      <properties size='1'>
        <property name='download.size' value='67848'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.standalone' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='7362'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='javax.inject' version='1.0.0.v20091030'>
      <properties size='1'>
        <property name='download.size' value='12288'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.console' version='1.1.300.v20170512-2111'>
      <properties size='1'>
        <property name='download.size' value='120758'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='azurecompute' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='482288'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.artifact.repository' version='1.1.600.v20170511-1106'>
      <properties size='1'>
        <property name='download.size' value='141266'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.workbench.texteditor' version='3.10.100.v20170426-2021'>
      <properties size='1'>
        <property name='download.size' value='669037'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.debug.core' version='3.11.0.v20170605-1534'>
      <properties size='1'>
        <property name='download.size' value='392514'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.registry' version='3.7.0.v20170222-1344'>
      <properties size='1'>
        <property name='download.size' value='187348'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.jobs' version='3.9.0.v20170322-0013'>
      <properties size='1'>
        <property name='download.size' value='107104'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.bidi' version='1.1.0.v20160728-1031'>
      <properties size='1'>
        <property name='download.size' value='49765'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.ecf.filetransfer.feature' version='3.13.7.v20170516-2248'>
      <properties size='1'>
        <property name='download.size' value='27439'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-compute' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='526750'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.di' version='1.6.100.v20170421-1418'>
      <properties size='1'>
        <property name='download.size' value='54497'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.jboss.netty' version='3.5.9.Final'>
      <properties size='1'>
        <property name='download.size' value='1128961'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.osgi.services' version='3.6.0.v20170228-1906'>
      <properties size='1'>
        <property name='download.size' value='121220'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ecf.filetransfer' version='5.0.0.v20160817-1024'>
      <properties size='1'>
        <property name='download.size' value='53203'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.util' version='9.4.5.v20170502'>
      <properties size='1'>
        <property name='download.size' value='479514'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.abstratt.pluginutils' version='2.1.201501.201606262232'>
      <properties size='1'>
        <property name='download.size' value='10786'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.jasper.glassfish' version='2.2.2.v201501141630'>
      <properties size='1'>
        <property name='download.size' value='2435771'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tlatools' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='3466147'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.help.base' version='4.2.100.v20170612-0950'>
      <properties size='1'>
        <property name='download.size' value='426083'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.lucene.analyzers-smartcn' version='6.1.0.v20161115-1612'>
      <properties size='1'>
        <property name='download.size' value='3613951'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.metadata' version='2.3.200.v20170511-1106'>
      <properties size='1'>
        <property name='download.size' value='343548'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.transport.ecf' version='1.1.300.v20161004-0244'>
      <properties size='1'>
        <property name='download.size' value='43687'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.security.linux.x86_64' version='1.0.100.v20170504-1307'>
      <properties size='1'>
        <property name='download.size' value='16593'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.ui.sdk' version='1.0.500.v20170511-1216'>
      <properties size='1'>
        <property name='download.size' value='54801'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.console' version='1.0.600.v20170511-1106'>
      <properties size='1'>
        <property name='download.size' value='28387'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.ide' version='3.13.0.v20170516-1223'>
      <properties size='1'>
        <property name='download.size' value='2564876'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.swt.theme' version='0.11.0.v20170312-2302'>
      <properties size='1'>
        <property name='download.size' value='28379'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='s3' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='221927'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.operations' version='2.4.300.v20170511-1106'>
      <properties size='1'>
        <property name='download.size' value='77187'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.resources' version='3.12.0.v20170417-1558'>
      <properties size='1'>
        <property name='download.size' value='891666'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.css' version='1.8.0.v20170214-1941'>
      <properties size='1'>
        <property name='download.size' value='292911'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.io' version='9.4.5.v20170502'>
      <properties size='1'>
        <property name='download.size' value='140159'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.jnlp' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='39247'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='javax.activation' version='1.1.0.v201211130549'>
      <properties size='1'>
        <property name='download.size' value='55674'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.ui' version='2.5.0.v20170505-1031'>
      <properties size='1'>
        <property name='download.size' value='699168'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.branding' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='42837'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.tool.prover' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='115638'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tlatools.feature' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='39182'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.vonloesch.pdf4Eclipse' version='1.1.0.201709072025'>
      <properties size='1'>
        <property name='download.size' value='1759505'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='joda-time' version='2.1.0'>
      <properties size='1'>
        <property name='download.size' value='570478'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.launcher' version='1.4.0.v20161219-1356'>
      <properties size='1'>
        <property name='download.size' value='54427'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.help' version='3.8.0.v20160823-1530'>
      <properties size='1'>
        <property name='download.size' value='270058'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.editor' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='39426'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.filesystem.linux.x86_64' version='1.2.200.v20140124-1940'>
      <properties size='1'>
        <property name='download.size' value='10610'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.google.guava' version='16.0.1'>
      <properties size='1'>
        <property name='download.size' value='2228009'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.jsp.jasper.registry' version='1.0.300.v20130327-1442'>
      <properties size='1'>
        <property name='download.size' value='12190'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='de.vonloesch.pdf4eclipse.feature' version='1.1.0.201709072025'>
      <properties size='1'>
        <property name='download.size' value='10747'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.abstratt.imageviewer' version='2.1.201501.201606262232'>
      <properties size='1'>
        <property name='download.size' value='35930'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='javax.servlet.jsp' version='2.2.0.v201112011158'>
      <properties size='1'>
        <property name='download.size' value='107235'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.commands' version='3.9.0.v20170530-1048'>
      <properties size='1'>
        <property name='download.size' value='115689'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.ecf.filetransfer.httpclient4.feature' version='3.13.7.v20170516-2248'>
      <properties size='1'>
        <property name='download.size' value='27440'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.w3c.dom.svg' version='1.1.0.v201011041433'>
      <properties size='1'>
        <property name='download.size' value='87897'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.apache.jclouds.feature' version='2.0.2.2'>
      <properties size='1'>
        <property name='download.size' value='852'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='slf4j.api' version='1.7.5'>
      <properties size='1'>
        <property name='download.size' value='26084'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.httpcomponents.httpcore' version='4.4.6.v20170210-0925'>
      <properties size='1'>
        <property name='download.size' value='354656'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.help' version='2.2.100.v20170612-0950'>
      <properties size='1'>
        <property name='download.size' value='18701'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.servicemix.bundles.jsch' version='0.1.51.1'>
      <properties size='1'>
        <property name='download.size' value='273826'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jdt.core' version='3.13.0.v20170516-1929'>
      <properties size='1'>
        <property name='download.size' value='6276111'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.swt.gtk' version='1.0.200.v20170513-0428'>
      <properties size='1'>
        <property name='download.size' value='10574'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.ecore.xmi' version='2.13.0.v20170609-0707'>
      <properties size='1'>
        <property name='download.size' value='230576'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.http' version='9.4.5.v20170502'>
      <properties size='1'>
        <property name='download.size' value='175060'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.io' version='2.0.1.v201105210651'>
      <properties size='1'>
        <property name='download.size' value='170843'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.e4.rcp' version='1.6.0.v20170612-1255'>
      <properties size='1'>
        <property name='download.size' value='19989'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.swt' version='0.13.0.v20170516-1617'>
      <properties size='1'>
        <property name='download.size' value='262154'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.jxpath' version='1.3.0.v200911051830'>
      <properties size='1'>
        <property name='download.size' value='314815'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.jcraft.jsch' version='0.1.54.v20170116-1932'>
      <properties size='1'>
        <property name='download.size' value='302585'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.event' version='1.4.0.v20170105-1446'>
      <properties size='1'>
        <property name='download.size' value='34721'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.widgets' version='1.2.0.v20160630-0736'>
      <properties size='1'>
        <property name='download.size' value='15385'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.concurrent' version='1.1.0.v20130327-1442'>
      <properties size='1'>
        <property name='download.size' value='25493'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.jclouds' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='2866501'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.servlet' version='9.4.5.v20170502'>
      <properties size='1'>
        <property name='download.size' value='119775'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.forms' version='3.7.100.v20170517-1755'>
      <properties size='1'>
        <property name='download.size' value='326384'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.ds' version='1.5.0.v20170307-1429'>
      <properties size='1'>
        <property name='download.size' value='28783'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.batik.util' version='1.8.0.v20170214-1941'>
      <properties size='1'>
        <property name='download.size' value='130465'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='net.i2p.crypto.eddsa' version='0.1.0'>
      <properties size='1'>
        <property name='download.size' value='58839'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.navigator' version='3.7.0.v20170418-1342'>
      <properties size='1'>
        <property name='download.size' value='445338'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.collections' version='3.2.0.v2013030210310'>
      <properties size='1'>
        <property name='download.size' value='612508'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.felix.gogo.shell' version='0.10.0.v201212101605'>
      <properties size='1'>
        <property name='download.size' value='60827'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.emf.common' version='2.13.0.v20170609-0707'>
      <properties size='1'>
        <property name='download.size' value='18120'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.aspectj.runtime' version='1.8.10.201704242114'>
      <properties size='1'>
        <property name='download.size' value='138854'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jface.text' version='3.12.0.v20170523-1043'>
      <properties size='1'>
        <property name='download.size' value='1080987'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.preferences' version='3.7.0.v20170126-2132'>
      <properties size='1'>
        <property name='download.size' value='133219'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.team.core' version='3.8.100.v20170516-0820'>
      <properties size='1'>
        <property name='download.size' value='426131'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ecf.provider.filetransfer' version='3.2.300.v20161203-1840'>
      <properties size='1'>
        <property name='download.size' value='129370'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.osgi' version='3.12.0.v20170512-1932'>
      <properties size='1'>
        <property name='download.size' value='1387171'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.rcp' version='4.7.0.v20170612-0950'>
      <properties size='1'>
        <property name='download.size' value='11321'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench.swt' version='0.14.100.v20170519-1601'>
      <properties size='1'>
        <property name='download.size' value='172142'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.tool.tlc' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='143727'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.sat4j.pb' version='2.3.5.v201404071733'>
      <properties size='1'>
        <property name='download.size' value='241956'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='javax.ws.rs.jsr311-api' version='1.1.1'>
      <properties size='1'>
        <property name='download.size' value='46367'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.google.gson' version='2.5.0'>
      <properties size='1'>
        <property name='download.size' value='232482'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jface' version='3.13.0.v20170503-1507'>
      <properties size='1'>
        <property name='download.size' value='1097029'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.expressions' version='3.6.0.v20170207-1037'>
      <properties size='1'>
        <property name='download.size' value='91726'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tlatools.api' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='6902'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.update.configurator' version='3.3.400.v20160506-0750'>
      <properties size='1'>
        <property name='download.size' value='102634'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-sshj' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='39395'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.logging' version='1.1.1.v201101211721'>
      <properties size='1'>
        <property name='download.size' value='68107'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.base' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='39477'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.intro' version='3.5.100.v20170418-0710'>
      <properties size='1'>
        <property name='download.size' value='347104'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.sun.el' version='2.2.0.v201303151357'>
      <properties size='1'>
        <property name='download.size' value='137042'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.http.servlet' version='1.4.0.v20170524-1452'>
      <properties size='1'>
        <property name='download.size' value='199903'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.felix.gogo.command' version='0.10.0.v201209301215'>
      <properties size='1'>
        <property name='download.size' value='57646'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.core' version='0.12.100.v20170526-1635'>
      <properties size='1'>
        <property name='download.size' value='216030'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.views.properties.tabbed' version='3.8.0.v20170516-1617'>
      <properties size='1'>
        <property name='download.size' value='110688'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench' version='1.5.0.v20170412-0908'>
      <properties size='1'>
        <property name='download.size' value='261876'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='javax.el' version='2.2.0.v201303151357'>
      <properties size='1'>
        <property name='download.size' value='56002'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.text' version='3.6.100.v20170203-0814'>
      <properties size='1'>
        <property name='download.size' value='269466'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.filebuffers' version='3.6.100.v20170203-1130'>
      <properties size='1'>
        <property name='download.size' value='120247'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.editors' version='3.11.0.v20170202-1823'>
      <properties size='1'>
        <property name='download.size' value='638547'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ecf.provider.filetransfer.httpclient4.ssl' version='1.1.0.v20160817-1024'>
      <properties size='1'>
        <property name='download.size' value='14196'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.tool.tla2tex' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='28707'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='javax.servlet' version='3.1.0.v201410161800'>
      <properties size='1'>
        <property name='download.size' value='105237'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jface.databinding' version='1.8.100.v20170503-1507'>
      <properties size='1'>
        <property name='download.size' value='292294'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.help.webapp' version='3.9.0.v20170113-0643'>
      <properties size='1'>
        <property name='download.size' value='637285'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.rcp' version='4.7.0.v20170612-1255'>
      <properties size='1'>
        <property name='download.size' value='18249'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.beanutils' version='1.8.0.v201205091237'>
      <properties size='1'>
        <property name='download.size' value='247269'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.sun.jna.platform' version='4.1.0'>
      <properties size='1'>
        <property name='download.size' value='1464423'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.product.standalone' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='98152'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.lucene.misc' version='6.1.0.v20161115-1612'>
      <properties size='1'>
        <property name='download.size' value='212970'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.httpcomponents.httpclient' version='4.5.2.v20170210-0925'>
      <properties size='1'>
        <property name='download.size' value='1006005'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='ec2' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='407669'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.emf.ecore' version='2.13.0.v20170609-0707'>
      <properties size='1'>
        <property name='download.size' value='1202399'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.net' version='1.3.100.v20170516-0820'>
      <properties size='1'>
        <property name='download.size' value='74737'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.abstratt.content' version='2.1.201501.201606262232'>
      <properties size='1'>
        <property name='download.size' value='11094'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.http.jetty' version='3.4.0.v20170503-2025'>
      <properties size='1'>
        <property name='download.size' value='28028'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.w3c.dom.smil' version='1.0.1.v200903091627'>
      <properties size='1'>
        <property name='download.size' value='19446'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.repository' version='2.3.300.v20170511-1216'>
      <properties size='1'>
        <property name='download.size' value='134161'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.servicemix.bundles.jzlib' version='1.1.3.2'>
      <properties size='1'>
        <property name='download.size' value='78835'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tlatools.impl.distributed' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='11133'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.security' version='1.2.300.v20170505-1235'>
      <properties size='1'>
        <property name='download.size' value='109819'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.hierynomus.sshj' version='0.21.1'>
      <properties size='1'>
        <property name='download.size' value='466435'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='bcprov' version='1.58.0'>
      <properties size='1'>
        <property name='download.size' value='3955990'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-enterprise' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='9989'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-core' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='751750'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-netty' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='11784'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.touchpoint.eclipse' version='2.1.500.v20170516-0526'>
      <properties size='1'>
        <property name='download.size' value='128891'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.databinding' version='1.6.100.v20170515-1119'>
      <properties size='1'>
        <property name='download.size' value='207916'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.core.di.annotations' version='1.6.0.v20170119-2002'>
      <properties size='1'>
        <property name='download.size' value='12282'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.server' version='9.4.5.v20170502'>
      <properties size='1'>
        <property name='download.size' value='603614'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='sts' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='71206'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.doc' version='1.5.4.201710061831'>
      <properties size='1'>
        <property name='download.size' value='4515412'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.emf.xpath' version='0.2.0.v20160630-0728'>
      <properties size='1'>
        <property name='download.size' value='50090'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui' version='3.109.0.v20170411-1742'>
      <properties size='1'>
        <property name='download.size' value='469879'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.views' version='3.9.0.v20170226-1833'>
      <properties size='1'>
        <property name='download.size' value='110185'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jdt.debug' version='3.11.0.v20170510-1451'>
      <properties size='1'>
        <property name='download.size' value='934817'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.security.ui' version='1.1.400.v20170505-1235'>
      <properties size='1'>
        <property name='download.size' value='186136'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='aws-ec2' version='2.0.2'>
      <properties size='1'>
        <property name='download.size' value='268788'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.lucene.analyzers-common' version='6.1.0.v20161115-1612'>
      <properties size='1'>
        <property name='download.size' value='1564223'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.w3c.css.sac' version='1.3.1.v200903091627'>
      <properties size='1'>
        <property name='download.size' value='32952'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.engine' version='2.5.0.v20170319-2002'>
      <properties size='1'>
        <property name='download.size' value='214862'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.touchpoint.natives' version='1.2.200.v20170511-1216'>
      <properties size='1'>
        <property name='download.size' value='76838'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.model.workbench' version='2.0.0.v20170228-1842'>
      <properties size='1'>
        <property name='download.size' value='389855'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox' version='1.0.0.201710061831'>
      <properties size='1'>
        <property name='download.size' value='401638'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.osgi.util' version='3.4.0.v20170111-1608'>
      <properties size='1'>
        <property name='download.size' value='50252'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.jarprocessor' version='1.0.500.v20160504-1450'>
      <properties size='1'>
        <property name='download.size' value='72608'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.equinox.p2.rcp.feature' version='1.3.0.v20170524-1345'>
      <properties size='1'>
        <property name='download.size' value='18180'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.ecf.core.ssl.feature' version='1.1.0.v20170110-1317'>
      <properties size='1'>
        <property name='download.size' value='19129'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
  </artifacts>
</repository>
