<?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='1531891030383'/>
  </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='288'>
    <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='jclouds-sshj' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='39423'/>
      </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.recommenders.news.impl' version='2.5.0.v20171201-1623'>
      <properties size='1'>
        <property name='download.size' value='34711'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.io' version='9.4.8.v20171121'>
      <properties size='1'>
        <property name='download.size' value='140146'/>
      </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='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='org.eclipse.e4.ui.css.core' version='0.12.101.v20170712-1547'>
      <properties size='1'>
        <property name='download.size' value='216059'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.collections' version='3.2.2.v201511171945'>
      <properties size='1'>
        <property name='download.size' value='632437'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.jclouds' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='2393331'/>
      </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='osgi.bundle' id='org.eclipse.jface' version='3.13.2.v20171022-1656'>
      <properties size='1'>
        <property name='download.size' value='1097110'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.ecf.filetransfer.httpclient4.feature' version='3.13.8.v20170715-2257'>
      <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.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='520434'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.jnlp' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='39889'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.standalone' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='7757'/>
      </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='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='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='org.eclipse.update.feature' id='org.eclipse.e4.rcp' version='1.6.3.v20180329-0507'>
      <properties size='1'>
        <property name='download.size' value='20034'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </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='slf4j.api' version='1.7.25'>
      <properties size='1'>
        <property name='download.size' value='41203'/>
      </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.mylyn.commons.notifications.ui' version='1.13.0.v20160630-1702'>
      <properties size='1'>
        <property name='download.size' value='62035'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='aws-s3' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='30601'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jetty.util' version='9.4.8.v20171121'>
      <properties size='1'>
        <property name='download.size' value='505985'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.editor' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='40102'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </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='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.apache.servicemix.bundles.okio' version='1.2.0.1'>
      <properties size='1'>
        <property name='download.size' value='62219'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.simpleconfigurator' version='1.2.1.v20180131-1435'>
      <properties size='1'>
        <property name='download.size' value='46392'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-enterprise' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='9852'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.css.swt' version='0.13.1.v20170808-1940'>
      <properties size='1'>
        <property name='download.size' value='262291'/>
      </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='osgi.bundle' id='org.eclipse.equinox.p2.ui' version='2.5.2.v20171013-1525'>
      <properties size='1'>
        <property name='download.size' value='698876'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.mylyn.commons.notifications.feed' version='1.13.0.v20160721-2347'>
      <properties size='1'>
        <property name='download.size' value='31063'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.base' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='40164'/>
      </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.eclipse.equinox.launcher.gtk.linux.x86_64' version='1.1.551.v20171108-1834'>
      <properties size='1'>
        <property name='download.size' value='83332'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.jdt.core' version='3.13.102.v20180330-0919'>
      <properties size='1'>
        <property name='download.size' value='6752162'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.core.net.linux.x86_64' version='1.2.0.v20160323-1650'>
      <properties size='1'>
        <property name='download.size' value='39432'/>
      </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.eclipse.ui.net' version='1.3.100.v20170516-0820'>
      <properties size='1'>
        <property name='download.size' value='51128'/>
      </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='com.google.guava' version='18.0.0'>
      <properties size='1'>
        <property name='download.size' value='2256213'/>
      </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.ui.workbench' version='3.110.1.v20170704-1208'>
      <properties size='1'>
        <property name='download.size' value='3734383'/>
      </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.apache.servicemix.bundles.okhttp' version='2.2.0.1'>
      <properties size='1'>
        <property name='download.size' value='356868'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.mylyn.commons.workbench' version='3.21.0.v20160630-1702'>
      <properties size='1'>
        <property name='download.size' value='172359'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.ide' version='3.13.1.v20170822-1526'>
      <properties size='1'>
        <property name='download.size' value='2565620'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.lucene.core' version='6.1.0.v20170814-1820'>
      <properties size='1'>
        <property name='download.size' value='2592206'/>
      </properties>
    </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='org.lamport.tla.toolbox.tool.prover' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='115604'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='s3' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='225159'/>
      </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.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.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='org.eclipse.jetty.continuation' version='9.4.8.v20171121'>
      <properties size='1'>
        <property name='download.size' value='23364'/>
      </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='jclouds-bouncycastle' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='10497'/>
      </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.eclipse.ui.browser' version='3.6.100.v20170418-1342'>
      <properties size='1'>
        <property name='download.size' value='206409'/>
      </properties>
    </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='jclouds-slf4j' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='11559'/>
      </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.apache.commons.lang' version='2.6.0.v201404270220'>
      <properties size='1'>
        <property name='download.size' value='298623'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='azurecompute-arm' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='850276'/>
      </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='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.equinox.p2.core' version='2.4.101.v20170906-1259'>
      <properties size='1'>
        <property name='download.size' value='74470'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.tool.tlc' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='148276'/>
      </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='org.lamport.tlatools.api' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='6892'/>
      </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.jdt.debug' version='3.11.50.v20170920-1717'>
      <properties size='1'>
        <property name='download.size' value='934913'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.product.standalone' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='99101'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='com.google.guava' version='15.0.0.v201403281430'>
      <properties size='1'>
        <property name='download.size' value='2264095'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='ec2' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='400135'/>
      </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.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.lamport.tla.toolbox.doc' version='1.5.4.201807180447'>
      <properties size='1'>
        <property name='download.size' value='4391284'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-blobstore' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='192380'/>
      </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.mylyn.commons.screenshots' version='3.21.0.v20160630-1702'>
      <properties size='1'>
        <property name='download.size' value='110298'/>
      </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.eclipse.rcp' version='4.7.3.v20180330-0640'>
      <properties size='1'>
        <property name='download.size' value='18255'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.tool.tla2tex' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='28673'/>
      </properties>
    </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='org.eclipse.update.feature' id='org.eclipse.help' version='2.2.104.v20180330-0640'>
      <properties size='1'>
        <property name='download.size' value='18716'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </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.equinox.bidi' version='1.1.0.v20160728-1031'>
      <properties size='1'>
        <property name='download.size' value='49765'/>
      </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='oauth' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='64295'/>
      </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='com.abstratt.pluginutils' version='2.1.201501.201606262232'>
      <properties size='1'>
        <property name='download.size' value='10786'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-joda' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='11686'/>
      </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.impl.distributed' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='11118'/>
      </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='org.eclipse.update.feature' id='org.eclipse.equinox.p2.rcp.feature' version='1.3.2.v20171108-1343'>
      <properties size='1'>
        <property name='download.size' value='18192'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </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.jetty.security' version='9.4.8.v20171121'>
      <properties size='1'>
        <property name='download.size' value='102683'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.recommenders.news.rcp.feature' version='2.5.0.v20171201-1623'>
      <properties size='1'>
        <property name='download.size' value='18050'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='393004'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.bindings' version='0.12.1.v20170823-1632'>
      <properties size='1'>
        <property name='download.size' value='51412'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.e4.ui.workbench.swt' version='0.14.101.v20170710-1119'>
      <properties size='1'>
        <property name='download.size' value='172134'/>
      </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.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='org.eclipse.ui.views.properties.tabbed' version='3.8.1.v20170713-0803'>
      <properties size='1'>
        <property name='download.size' value='117168'/>
      </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.jdt.launching' version='3.9.100.v20180323-1351'>
      <properties size='1'>
        <property name='download.size' value='352513'/>
      </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='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.branding' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='39923'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </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.core.jobs' version='3.9.3.v20180115-1757'>
      <properties size='1'>
        <property name='download.size' value='107579'/>
      </properties>
    </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.metadata.repository' version='1.2.401.v20170906-1259'>
      <properties size='1'>
        <property name='download.size' value='122449'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.swt' version='3.106.3.v20180329-0507'>
      <properties size='1'>
        <property name='download.size' value='19371'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.jclouds' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='39880'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.compare' version='3.7.101.v20170724-1603'>
      <properties size='1'>
        <property name='download.size' value='878334'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.help' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='39763'/>
      </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='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.prover' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='39743'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </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.lamport.tla.toolbox.jnlp' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='7620662'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-scriptbuilder' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='173302'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.swt.gtk.linux.x86_64' version='3.106.3.v20180329-0507'>
      <properties size='1'>
        <property name='download.size' value='2657725'/>
      </properties>
    </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='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='osgi.bundle' id='org.eclipse.jetty.server' version='9.4.8.v20171121'>
      <properties size='1'>
        <property name='download.size' value='609806'/>
      </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='org.eclipse.jdt.annotation' version='1.1.150.v20180322-1206'>
      <properties size='1'>
        <property name='download.size' value='15383'/>
      </properties>
    </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='osgi.bundle' id='org.lamport.tlatools.consumer.distributed' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='18852'/>
      </properties>
    </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='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.apache.jclouds.feature' version='2.1.1.0'>
      <properties size='1'>
        <property name='download.size' value='1489'/>
      </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.mylyn.commons.notifications.core' version='1.13.0.v20160630-1702'>
      <properties size='1'>
        <property name='download.size' value='14421'/>
      </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='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.tla2tex' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='39741'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </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='osgi.bundle' id='org.eclipse.recommenders.news.rcp' version='2.5.0.v20171201-1623'>
      <properties size='1'>
        <property name='download.size' value='112668'/>
      </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='jclouds-core' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='755356'/>
      </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.jetty.http' version='9.4.8.v20171121'>
      <properties size='1'>
        <property name='download.size' value='176366'/>
      </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='azurecompute' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='482344'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.help.base' version='4.2.153.v20180330-0640'>
      <properties size='1'>
        <property name='download.size' value='426017'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='jclouds-netty' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='11773'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.apache.commons.lang3' version='3.1.0.v201403281430'>
      <properties size='1'>
        <property name='download.size' value='331301'/>
      </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='org.eclipse.equinox.p2.director.app' version='1.0.500.v20160419-0834'>
      <properties size='1'>
        <property name='download.size' value='54805'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='sts' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='71112'/>
      </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.lamport.tla.toolbox.editor.basic' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='359140'/>
      </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='osgi.bundle' id='org.eclipse.jetty.servlet' version='9.4.8.v20171121'>
      <properties size='1'>
        <property name='download.size' value='119516'/>
      </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.eclipse.osgi' version='3.12.100.v20180210-1608'>
      <properties size='1'>
        <property name='download.size' value='1387666'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='aws-ec2' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='268784'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.eclipse.equinox.p2.core.feature' version='1.4.1.v20170928-1405'>
      <properties size='1'>
        <property name='download.size' value='18786'/>
      </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.e4.ui.model.workbench' version='2.0.1.v20170713-1800'>
      <properties size='1'>
        <property name='download.size' value='389740'/>
      </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.mylyn.commons.core' version='3.21.0.v20160707-1856'>
      <properties size='1'>
        <property name='download.size' value='124200'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tla.toolbox.tool.tlc.ui' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='489359'/>
      </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='org.eclipse.equinox.p2.repository' version='2.3.301.v20170906-1259'>
      <properties size='1'>
        <property name='download.size' value='134332'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.ui.forms' version='3.7.101.v20170815-1446'>
      <properties size='1'>
        <property name='download.size' value='326608'/>
      </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='slf4j.simple' version='1.7.25'>
      <properties size='1'>
        <property name='download.size' value='15257'/>
      </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.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='org.eclipse.recommenders.news' version='2.5.0.v20171201-1623'>
      <properties size='1'>
        <property name='download.size' value='12148'/>
      </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='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.jface.text' version='3.12.2.v20180112-1341'>
      <properties size='1'>
        <property name='download.size' value='1081239'/>
      </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.equinox.p2.artifact.repository' version='1.1.650.v20170928-1405'>
      <properties size='1'>
        <property name='download.size' value='141283'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tla.toolbox.feature.tlc' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='40126'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='slf4j.nop' version='1.7.25'>
      <properties size='1'>
        <property name='download.size' value='4007'/>
      </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='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='jclouds-okhttp' version='2.1.1.SNAPSHOT'>
      <properties size='1'>
        <property name='download.size' value='17764'/>
      </properties>
    </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.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='org.eclipse.e4.ui.workbench' version='1.5.1.v20170815-1446'>
      <properties size='1'>
        <property name='download.size' value='261842'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.help' version='3.8.1.v20170815-1448'>
      <properties size='1'>
        <property name='download.size' value='270019'/>
      </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='org.eclipse.update.feature' id='org.eclipse.ecf.filetransfer.feature' version='3.13.8.v20170715-2257'>
      <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.eclipse.ui.console' version='3.7.1.v20170728-0806'>
      <properties size='1'>
        <property name='download.size' value='209259'/>
      </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.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.eclipse.e4.ui.workbench.renderers.swt' version='0.14.102.v20180117-1153'>
      <properties size='1'>
        <property name='download.size' value='262139'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.lamport.tlatools' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='3663842'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.help.webapp' version='3.9.1.v20170816-0843'>
      <properties size='1'>
        <property name='download.size' value='637280'/>
      </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='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.mylyn.commons.ui' version='3.21.0.v20160630-1702'>
      <properties size='1'>
        <property name='download.size' value='313448'/>
      </properties>
    </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.equinox.security.ui' version='1.1.400.v20170505-1235'>
      <properties size='1'>
        <property name='download.size' value='186136'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='org.lamport.tlatools.feature' version='1.0.0.201807180447'>
      <properties size='1'>
        <property name='download.size' value='39813'/>
      </properties>
      <repositoryProperties size='1'>
        <property name='artifact.folder' value='true'/>
      </repositoryProperties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.rcp' version='4.7.3.v20180330-0640'>
      <properties size='1'>
        <property name='download.size' value='11318'/>
      </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='javax.ws.rs-api' version='2.0.1'>
      <properties size='1'>
        <property name='download.size' value='115534'/>
      </properties>
    </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.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>
    <artifact classifier='osgi.bundle' id='org.eclipse.equinox.p2.touchpoint.eclipse' version='2.1.501.v20170906-1259'>
      <properties size='1'>
        <property name='download.size' value='128914'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='org.eclipse.recommenders.news.api' version='2.5.0.v20171201-1623'>
      <properties size='1'>
        <property name='download.size' value='20463'/>
      </properties>
    </artifact>
  </artifacts>
</repository>
