<?xml version='1.0' encoding='UTF-8'?>
<?metadataRepository version='1.2.0'?>
<repository name='de.prob.repository' type='org.eclipse.equinox.internal.p2.metadata.repository.LocalMetadataRepository' version='1'>
  <properties size='2'>
    <property name='p2.timestamp' value='1755005112120'/>
    <property name='p2.compressed' value='true'/>
  </properties>
  <units size='16'>
    <unit id='de.prob2.disprover.feature.feature.jar' version='3.2.1.202508121324'>
      <properties size='9'>
        <property name='org.eclipse.equinox.p2.name' value='ProB for Rodin - (Dis)Prover'/>
        <property name='org.eclipse.equinox.p2.description' value='Allows using ProB as a (dis)prover while proving POs.&#xA;&#xA;ProB is an animator and model checker for the B-Method. It allows&#xA;fully automatic animation of many B specifications, and can be&#xA;used to systematically check a specification for errors.&#xA;Part of the research and development was conducted within the&#xA;EPSRC funded projects ABCD and iMoc, and within the EU funded&#xA;projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.&#xA;ProB has been successfully used on various industrial specifications&#xA;and is now being used e.g. within Siemens, Alstom, Thales and ClearSy.'/>
        <property name='org.eclipse.equinox.p2.description.url' value='https://prob.hhu.de/w/'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.update.feature.plugin' value='de.prob.eventb.disprover.ui'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob2.disprover.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
      </properties>
      <provides size='3'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob2.disprover.feature.feature.jar' version='3.2.1.202508121324'/>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='feature' version='1.0.0'/>
        <provided namespace='org.eclipse.update.feature' name='de.prob2.disprover.feature' version='3.2.1.202508121324'/>
      </provides>
      <filter>
        (org.eclipse.update.install.features=true)
      </filter>
      <artifacts size='1'>
        <artifact classifier='org.eclipse.update.feature' id='de.prob2.disprover.feature' version='3.2.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='1'>
          <instruction key='zipped'>
            true
          </instruction>
        </instructions>
      </touchpointData>
      <licenses size='1'>
        <license uri='http://www.eclipse.org/org/documents/epl-v10.html' url='http://www.eclipse.org/org/documents/epl-v10.html'>
          ProB can be used freely for commercial, non-commercial and academic&#xA;use under the Eclipse Public Licence v. 1.0. (below)&#xA;For availability of commercial support, please contact the author&#xA;(http://www.stups.uni-duesseldorf.de/~leuschel).&#xA;Use of ProB&apos;s nauty library for symmetry reduction implies further&#xA;restrictions (no applications with nontrivial military significance,&#xA;see http://cs.anu.edu.au/~bdm/nauty/).&#xA;---&#xA;Eclipse Public License - v. 1.0&#xA;THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS&#xA;ECLIPSE PUBLIC LICENSE (&quot;AGREEMENT&quot;). ANY USE, REPRODUCTION OR&#xA;DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT&apos;S ACCEPTANCE&#xA;OF THIS AGREEMENT.&#xA;1. DEFINITIONS&#xA;&quot;Contribution&quot; means:&#xA;a) in the case of the initial Contributor, the initial code and&#xA;documentation distributed under this Agreement, and&#xA;b) in the case of each subsequent Contributor:&#xA;i) changes to the Program, and&#xA;ii) additions to the Program;&#xA;where such changes and/or additions to the Program originate&#xA;from and are distributed by that particular Contributor. A Contribution&#xA;&apos;originates&apos; from a Contributor if it was added to the Program&#xA;by such Contributor itself or anyone acting on such Contributor&apos;s&#xA;behalf. Contributions do not include additions to the Program&#xA;which: (i) are separate modules of software distributed in conjunction&#xA;with the Program under their own license agreement, and (ii)&#xA;are not derivative works of the Program.&#xA;&quot;Contributor&quot; means any person or entity that distributes the&#xA;Program.&#xA;&quot;Licensed Patents&quot; mean patent claims licensable by a Contributor&#xA;which are necessarily infringed by the use or sale of its Contribution&#xA;alone or when combined with the Program.&#xA;&quot;Program&quot; means the Contributions distributed in accordance with&#xA;this Agreement.&#xA;&quot;Recipient&quot; means anyone who receives the Program under this&#xA;Agreement, including all Contributors.&#xA;2. GRANT OF RIGHTS&#xA;a) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free copyright&#xA;license to reproduce, prepare derivative works of, publicly display,&#xA;publicly perform, distribute and sublicense the Contribution&#xA;of such Contributor, if any, and such derivative works, in source&#xA;code and object code form.&#xA;b) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free patent&#xA;license under Licensed Patents to make, use, sell, offer to sell,&#xA;import and otherwise transfer the Contribution of such Contributor,&#xA;if any, in source code and object code form. This patent license&#xA;shall apply to the combination of the Contribution and the Program&#xA;if, at the time the Contribution is added by the Contributor,&#xA;such addition of the Contribution causes such combination to&#xA;be covered by the Licensed Patents. The patent license shall&#xA;not apply to any other combinations which include the Contribution.&#xA;No hardware per se is licensed hereunder.&#xA;c) Recipient understands that although each Contributor grants&#xA;the licenses to its Contributions set forth herein, no assurances&#xA;are provided by any Contributor that the Program does not infringe&#xA;the patent or other intellectual property rights of any other&#xA;entity. Each Contributor disclaims any liability to Recipient&#xA;for claims brought by any other entity based on infringement&#xA;of intellectual property rights or otherwise. As a condition&#xA;to exercising the rights and licenses granted hereunder, each&#xA;Recipient hereby assumes sole responsibility to secure any other&#xA;intellectual property rights needed, if any. For example, if&#xA;a third party patent license is required to allow Recipient to&#xA;distribute the Program, it is Recipient&apos;s responsibility to acquire&#xA;that license before distributing the Program.&#xA;d) Each Contributor represents that to its knowledge it has sufficient&#xA;copyright rights in its Contribution, if any, to grant the copyright&#xA;license set forth in this Agreement.&#xA;3. REQUIREMENTS&#xA;A Contributor may choose to distribute the Program in object&#xA;code form under its own license agreement, provided that:&#xA;a) it complies with the terms and conditions of this Agreement;&#xA;and&#xA;b) its license agreement:&#xA;i) effectively disclaims on behalf of all Contributors all warranties&#xA;and conditions, express and implied, including warranties or&#xA;conditions of title and non-infringement, and implied warranties&#xA;or conditions of merchantability and fitness for a particular&#xA;purpose;&#xA;ii) effectively excludes on behalf of all Contributors all liability&#xA;for damages, including direct, indirect, special, incidental&#xA;and consequential damages, such as lost profits;&#xA;iii) states that any provisions which differ from this Agreement&#xA;are offered by that Contributor alone and not by any other party;&#xA;and&#xA;iv) states that source code for the Program is available from&#xA;such Contributor, and informs licensees how to obtain it in a&#xA;reasonable manner on or through a medium customarily used for&#xA;software exchange.&#xA;When the Program is made available in source code form:&#xA;a) it must be made available under this Agreement; and&#xA;b) a copy of this Agreement must be included with each copy of&#xA;the Program.&#xA;Contributors may not remove or alter any copyright notices contained&#xA;within the Program.&#xA;Each Contributor must identify itself as the originator of its&#xA;Contribution, if any, in a manner that reasonably allows subsequent&#xA;Recipients to identify the originator of the Contribution.&#xA;4. COMMERCIAL DISTRIBUTION&#xA;Commercial distributors of software may accept certain responsibilities&#xA;with respect to end users, business partners and the like. While&#xA;this license is intended to facilitate the commercial use of&#xA;the Program, the Contributor who includes the Program in a commercial&#xA;product offering should do so in a manner which does not create&#xA;potential liability for other Contributors. Therefore, if a Contributor&#xA;includes the Program in a commercial product offering, such Contributor&#xA;(&quot;Commercial Contributor&quot;) hereby agrees to defend and indemnify&#xA;every other Contributor (&quot;Indemnified Contributor&quot;) against any&#xA;losses, damages and costs (collectively &quot;Losses&quot;) arising from&#xA;claims, lawsuits and other legal actions brought by a third party&#xA;against the Indemnified Contributor to the extent caused by the&#xA;acts or omissions of such Commercial Contributor in connection&#xA;with its distribution of the Program in a commercial product&#xA;offering. The obligations in this section do not apply to any&#xA;claims or Losses relating to any actual or alleged intellectual&#xA;property infringement. In order to qualify, an Indemnified Contributor&#xA;must: a) promptly notify the Commercial Contributor in writing&#xA;of such claim, and b) allow the Commercial Contributor to control,&#xA;and cooperate with the Commercial Contributor in, the defense&#xA;and any related settlement negotiations. The Indemnified Contributor&#xA;may participate in any such claim at its own expense.&#xA;For example, a Contributor might include the Program in a commercial&#xA;product offering, Product X. That Contributor is then a Commercial&#xA;Contributor. If that Commercial Contributor then makes performance&#xA;claims, or offers warranties related to Product X, those performance&#xA;claims and warranties are such Commercial Contributor&apos;s responsibility&#xA;alone. Under this section, the Commercial Contributor would have&#xA;to defend claims against the other Contributors related to those&#xA;performance claims and warranties, and if a court requires any&#xA;other Contributor to pay any damages as a result, the Commercial&#xA;Contributor must pay those damages.&#xA;5. NO WARRANTY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM&#xA;IS PROVIDED ON AN &quot;AS IS&quot; BASIS, WITHOUT WARRANTIES OR CONDITIONS&#xA;OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION,&#xA;ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY&#xA;OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely&#xA;responsible for determining the appropriateness of using and&#xA;distributing the Program and assumes all risks associated with&#xA;its exercise of rights under this Agreement , including but not&#xA;limited to the risks and costs of program errors, compliance&#xA;with applicable laws, damage to or loss of data, programs or&#xA;equipment, and unavailability or interruption of operations.&#xA;6. DISCLAIMER OF LIABILITY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT&#xA;NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT,&#xA;INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES&#xA;(INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND&#xA;ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,&#xA;OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY&#xA;OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE&#xA;OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY&#xA;OF SUCH DAMAGES.&#xA;7. GENERAL&#xA;If any provision of this Agreement is invalid or unenforceable&#xA;under applicable law, it shall not affect the validity or enforceability&#xA;of the remainder of the terms of this Agreement, and without&#xA;further action by the parties hereto, such provision shall be&#xA;reformed to the minimum extent necessary to make such provision&#xA;valid and enforceable.&#xA;If Recipient institutes patent litigation against any entity&#xA;(including a cross-claim or counterclaim in a lawsuit) alleging&#xA;that the Program itself (excluding combinations of the Program&#xA;with other software or hardware) infringes such Recipient&apos;s patent(s),&#xA;then such Recipient&apos;s rights granted under Section 2(b) shall&#xA;terminate as of the date such litigation is filed.&#xA;All Recipient&apos;s rights under this Agreement shall terminate if&#xA;it fails to comply with any of the material terms or conditions&#xA;of this Agreement and does not cure such failure in a reasonable&#xA;period of time after becoming aware of such noncompliance. If&#xA;all Recipient&apos;s rights under this Agreement terminate, Recipient&#xA;agrees to cease use and distribution of the Program as soon as&#xA;reasonably practicable. However, Recipient&apos;s obligations under&#xA;this Agreement and any licenses granted by Recipient relating&#xA;to the Program shall continue and survive.&#xA;Everyone is permitted to copy and distribute copies of this Agreement,&#xA;but in order to avoid inconsistency the Agreement is copyrighted&#xA;and may only be modified in the following manner. The Agreement&#xA;Steward reserves the right to publish new versions (including&#xA;revisions) of this Agreement from time to time. No one other&#xA;than the Agreement Steward has the right to modify this Agreement.&#xA;The Eclipse Foundation is the initial Agreement Steward. The&#xA;Eclipse Foundation may assign the responsibility to serve as&#xA;the Agreement Steward to a suitable separate entity. Each new&#xA;version of the Agreement will be given a distinguishing version&#xA;number. The Program (including Contributions) may always be distributed&#xA;subject to the version of the Agreement under which it was received.&#xA;In addition, after a new version of the Agreement is published,&#xA;Contributor may elect to distribute the Program (including its&#xA;Contributions) under the new version. Except as expressly stated&#xA;in Sections 2(a) and 2(b) above, Recipient receives no rights&#xA;or licenses to the intellectual property of any Contributor under&#xA;this Agreement, whether expressly, by implication, estoppel or&#xA;otherwise. All rights in the Program not expressly granted under&#xA;this Agreement are reserved.&#xA;This Agreement is governed by the laws of the State of New York&#xA;and the intellectual property laws of the United States of America.&#xA;No party to this Agreement will bring a legal action under this&#xA;Agreement more than one year after the cause of action arose.&#xA;Each party waives its rights to a jury trial in any resulting&#xA;litigation.
        </license>
      </licenses>
      <copyright>
        (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
      </copyright>
    </unit>
    <unit id='de.prob2.feature.feature.group' version='3.2.1.202508121324' singleton='false'>
      <update id='de.prob2.feature.feature.group' range='[0.0.0,3.2.1.202508121324)' severity='0'/>
      <properties size='9'>
        <property name='org.eclipse.equinox.p2.name' value='ProB for Rodin'/>
        <property name='org.eclipse.equinox.p2.description' value='ProB animator plug-in for Rodin.&#xA;Note: BMotion Studio, previously included with the ProB animator, is now a separate plug-in.&#xA;&#xA;ProB is an animator and model checker for the B-Method. It allows&#xA;fully automatic animation of many B specifications, and can be&#xA;used to systematically check a specification for errors.&#xA;Part of the research and development was conducted within the&#xA;EPSRC funded projects ABCD and iMoc, and within the EU funded&#xA;projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.&#xA;ProB has been successfully used on various industrial specifications&#xA;and is now being used within Siemens, Alstom, Thales.'/>
        <property name='org.eclipse.equinox.p2.description.url' value='https://prob.hhu.de/w/'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.equinox.p2.type.group' value='true'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob2.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
      </properties>
      <provides size='1'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob2.feature.feature.group' version='3.2.1.202508121324'/>
      </provides>
      <requires size='14'>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.expressions' range='[3.7.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.filesystem' range='[1.7.0,2.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.resources' range='[3.13.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.runtime' range='[3.20.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.gef' range='[3.11.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.ui' range='[3.118.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.ui.ide' range='[3.18.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.core' range='[3.5.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.core.ast' range='[3.5.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.core.seqprover' range='[3.4.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.rodinp.core' range='[1.9.0,2.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.core' range='[9.6.1.202508121324,9.6.1.202508121324]'/>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.ui' range='[7.6.1.202508121324,7.6.1.202508121324]'/>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob2.feature.feature.jar' range='[3.2.1.202508121324,3.2.1.202508121324]'>
          <filter>
            (org.eclipse.update.install.features=true)
          </filter>
        </required>
      </requires>
      <touchpoint id='null' version='0.0.0'/>
      <licenses size='1'>
        <license uri='http://www.eclipse.org/org/documents/epl-v10.html' url='http://www.eclipse.org/org/documents/epl-v10.html'>
          ProB can be used freely for commercial, non-commercial and academic&#xA;use under the Eclipse Public Licence v. 1.0. (below) &#xA;For availability of commercial support, please contact the author&#xA;(http://www.stups.uni-duesseldorf.de/~leuschel). &#xA;Use of ProB&apos;s nauty library for symmetry reduction implies further&#xA;restrictions (no applications with nontrivial military significance,&#xA;see http://cs.anu.edu.au/~bdm/nauty/).&#xA;--- &#xA;Eclipse Public License - v. 1.0&#xA;THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS&#xA;ECLIPSE PUBLIC LICENSE (&quot;AGREEMENT&quot;). ANY USE, REPRODUCTION OR&#xA;DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT&apos;S ACCEPTANCE&#xA;OF THIS AGREEMENT.&#xA;1. DEFINITIONS&#xA;&quot;Contribution&quot; means:&#xA;a) in the case of the initial Contributor, the initial code and&#xA;documentation distributed under this Agreement, and&#xA;b) in the case of each subsequent Contributor:&#xA;i) changes to the Program, and&#xA;ii) additions to the Program;&#xA;where such changes and/or additions to the Program originate&#xA;from and are distributed by that particular Contributor. A Contribution&#xA;&apos;originates&apos; from a Contributor if it was added to the Program&#xA;by such Contributor itself or anyone acting on such Contributor&apos;s&#xA;behalf. Contributions do not include additions to the Program&#xA;which: (i) are separate modules of software distributed in conjunction&#xA;with the Program under their own license agreement, and (ii)&#xA;are not derivative works of the Program.&#xA;&quot;Contributor&quot; means any person or entity that distributes the&#xA;Program.&#xA;&quot;Licensed Patents&quot; mean patent claims licensable by a Contributor&#xA;which are necessarily infringed by the use or sale of its Contribution&#xA;alone or when combined with the Program.&#xA;&quot;Program&quot; means the Contributions distributed in accordance with&#xA;this Agreement.&#xA;&quot;Recipient&quot; means anyone who receives the Program under this&#xA;Agreement, including all Contributors.&#xA;2. GRANT OF RIGHTS&#xA;a) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free copyright&#xA;license to reproduce, prepare derivative works of, publicly display,&#xA;publicly perform, distribute and sublicense the Contribution&#xA;of such Contributor, if any, and such derivative works, in source&#xA;code and object code form.&#xA;b) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free patent&#xA;license under Licensed Patents to make, use, sell, offer to sell,&#xA;import and otherwise transfer the Contribution of such Contributor,&#xA;if any, in source code and object code form. This patent license&#xA;shall apply to the combination of the Contribution and the Program&#xA;if, at the time the Contribution is added by the Contributor,&#xA;such addition of the Contribution causes such combination to&#xA;be covered by the Licensed Patents. The patent license shall&#xA;not apply to any other combinations which include the Contribution.&#xA;No hardware per se is licensed hereunder.&#xA;c) Recipient understands that although each Contributor grants&#xA;the licenses to its Contributions set forth herein, no assurances&#xA;are provided by any Contributor that the Program does not infringe&#xA;the patent or other intellectual property rights of any other&#xA;entity. Each Contributor disclaims any liability to Recipient&#xA;for claims brought by any other entity based on infringement&#xA;of intellectual property rights or otherwise. As a condition&#xA;to exercising the rights and licenses granted hereunder, each&#xA;Recipient hereby assumes sole responsibility to secure any other&#xA;intellectual property rights needed, if any. For example, if&#xA;a third party patent license is required to allow Recipient to&#xA;distribute the Program, it is Recipient&apos;s responsibility to acquire&#xA;that license before distributing the Program.&#xA;d) Each Contributor represents that to its knowledge it has sufficient&#xA;copyright rights in its Contribution, if any, to grant the copyright&#xA;license set forth in this Agreement.&#xA;3. REQUIREMENTS&#xA;A Contributor may choose to distribute the Program in object&#xA;code form under its own license agreement, provided that:&#xA;a) it complies with the terms and conditions of this Agreement;&#xA;and&#xA;b) its license agreement:&#xA;i) effectively disclaims on behalf of all Contributors all warranties&#xA;and conditions, express and implied, including warranties or&#xA;conditions of title and non-infringement, and implied warranties&#xA;or conditions of merchantability and fitness for a particular&#xA;purpose;&#xA;ii) effectively excludes on behalf of all Contributors all liability&#xA;for damages, including direct, indirect, special, incidental&#xA;and consequential damages, such as lost profits;&#xA;iii) states that any provisions which differ from this Agreement&#xA;are offered by that Contributor alone and not by any other party;&#xA;and&#xA;iv) states that source code for the Program is available from&#xA;such Contributor, and informs licensees how to obtain it in a&#xA;reasonable manner on or through a medium customarily used for&#xA;software exchange.&#xA;When the Program is made available in source code form:&#xA;a) it must be made available under this Agreement; and&#xA;b) a copy of this Agreement must be included with each copy of&#xA;the Program.&#xA;Contributors may not remove or alter any copyright notices contained&#xA;within the Program.&#xA;Each Contributor must identify itself as the originator of its&#xA;Contribution, if any, in a manner that reasonably allows subsequent&#xA;Recipients to identify the originator of the Contribution.&#xA;4. COMMERCIAL DISTRIBUTION&#xA;Commercial distributors of software may accept certain responsibilities&#xA;with respect to end users, business partners and the like. While&#xA;this license is intended to facilitate the commercial use of&#xA;the Program, the Contributor who includes the Program in a commercial&#xA;product offering should do so in a manner which does not create&#xA;potential liability for other Contributors. Therefore, if a Contributor&#xA;includes the Program in a commercial product offering, such Contributor&#xA;(&quot;Commercial Contributor&quot;) hereby agrees to defend and indemnify&#xA;every other Contributor (&quot;Indemnified Contributor&quot;) against any&#xA;losses, damages and costs (collectively &quot;Losses&quot;) arising from&#xA;claims, lawsuits and other legal actions brought by a third party&#xA;against the Indemnified Contributor to the extent caused by the&#xA;acts or omissions of such Commercial Contributor in connection&#xA;with its distribution of the Program in a commercial product&#xA;offering. The obligations in this section do not apply to any&#xA;claims or Losses relating to any actual or alleged intellectual&#xA;property infringement. In order to qualify, an Indemnified Contributor&#xA;must: a) promptly notify the Commercial Contributor in writing&#xA;of such claim, and b) allow the Commercial Contributor to control,&#xA;and cooperate with the Commercial Contributor in, the defense&#xA;and any related settlement negotiations. The Indemnified Contributor&#xA;may participate in any such claim at its own expense.&#xA;For example, a Contributor might include the Program in a commercial&#xA;product offering, Product X. That Contributor is then a Commercial&#xA;Contributor. If that Commercial Contributor then makes performance&#xA;claims, or offers warranties related to Product X, those performance&#xA;claims and warranties are such Commercial Contributor&apos;s responsibility&#xA;alone. Under this section, the Commercial Contributor would have&#xA;to defend claims against the other Contributors related to those&#xA;performance claims and warranties, and if a court requires any&#xA;other Contributor to pay any damages as a result, the Commercial&#xA;Contributor must pay those damages.&#xA;5. NO WARRANTY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM&#xA;IS PROVIDED ON AN &quot;AS IS&quot; BASIS, WITHOUT WARRANTIES OR CONDITIONS&#xA;OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION,&#xA;ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY&#xA;OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely&#xA;responsible for determining the appropriateness of using and&#xA;distributing the Program and assumes all risks associated with&#xA;its exercise of rights under this Agreement , including but not&#xA;limited to the risks and costs of program errors, compliance&#xA;with applicable laws, damage to or loss of data, programs or&#xA;equipment, and unavailability or interruption of operations.&#xA;6. DISCLAIMER OF LIABILITY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT&#xA;NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT,&#xA;INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES&#xA;(INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND&#xA;ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,&#xA;OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY&#xA;OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE&#xA;OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY&#xA;OF SUCH DAMAGES.&#xA;7. GENERAL&#xA;If any provision of this Agreement is invalid or unenforceable&#xA;under applicable law, it shall not affect the validity or enforceability&#xA;of the remainder of the terms of this Agreement, and without&#xA;further action by the parties hereto, such provision shall be&#xA;reformed to the minimum extent necessary to make such provision&#xA;valid and enforceable.&#xA;If Recipient institutes patent litigation against any entity&#xA;(including a cross-claim or counterclaim in a lawsuit) alleging&#xA;that the Program itself (excluding combinations of the Program&#xA;with other software or hardware) infringes such Recipient&apos;s patent(s),&#xA;then such Recipient&apos;s rights granted under Section 2(b) shall&#xA;terminate as of the date such litigation is filed.&#xA;All Recipient&apos;s rights under this Agreement shall terminate if&#xA;it fails to comply with any of the material terms or conditions&#xA;of this Agreement and does not cure such failure in a reasonable&#xA;period of time after becoming aware of such noncompliance. If&#xA;all Recipient&apos;s rights under this Agreement terminate, Recipient&#xA;agrees to cease use and distribution of the Program as soon as&#xA;reasonably practicable. However, Recipient&apos;s obligations under&#xA;this Agreement and any licenses granted by Recipient relating&#xA;to the Program shall continue and survive.&#xA;Everyone is permitted to copy and distribute copies of this Agreement,&#xA;but in order to avoid inconsistency the Agreement is copyrighted&#xA;and may only be modified in the following manner. The Agreement&#xA;Steward reserves the right to publish new versions (including&#xA;revisions) of this Agreement from time to time. No one other&#xA;than the Agreement Steward has the right to modify this Agreement.&#xA;The Eclipse Foundation is the initial Agreement Steward. The&#xA;Eclipse Foundation may assign the responsibility to serve as&#xA;the Agreement Steward to a suitable separate entity. Each new&#xA;version of the Agreement will be given a distinguishing version&#xA;number. The Program (including Contributions) may always be distributed&#xA;subject to the version of the Agreement under which it was received.&#xA;In addition, after a new version of the Agreement is published,&#xA;Contributor may elect to distribute the Program (including its&#xA;Contributions) under the new version. Except as expressly stated&#xA;in Sections 2(a) and 2(b) above, Recipient receives no rights&#xA;or licenses to the intellectual property of any Contributor under&#xA;this Agreement, whether expressly, by implication, estoppel or&#xA;otherwise. All rights in the Program not expressly granted under&#xA;this Agreement are reserved.&#xA;This Agreement is governed by the laws of the State of New York&#xA;and the intellectual property laws of the United States of America.&#xA;No party to this Agreement will bring a legal action under this&#xA;Agreement more than one year after the cause of action arose.&#xA;Each party waives its rights to a jury trial in any resulting&#xA;litigation.
        </license>
      </licenses>
      <copyright>
        (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
      </copyright>
    </unit>
    <unit id='de.prob.eventb.disprover.core' version='2.2.1.202508121324' generation='2'>
      <update id='de.prob.eventb.disprover.core' range='[0.0.0,2.2.1.202508121324)' severity='0'/>
      <properties size='7'>
        <property name='org.eclipse.equinox.p2.name' value='ProB Disprover Core for Event-B'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.equinox.p2.bundle.localization' value='plugin'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.eventb.disprover.core'/>
        <property name='maven-version' value='2.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
      </properties>
      <provides size='6'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob.eventb.disprover.core' version='2.2.1.202508121324'/>
        <provided namespace='osgi.bundle' name='de.prob.eventb.disprover.core' version='2.2.1.202508121324'/>
        <provided namespace='java.package' name='de.prob.eventb.disprover.core' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.eventb.disprover.core.translation' version='0.0.0'/>
        <provided namespace='osgi.identity' name='de.prob.eventb.disprover.core' version='2.2.1.202508121324'>
          <properties size='1'>
            <property name='type' value='osgi.bundle'/>
          </properties>
        </provided>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='bundle' version='1.0.0'/>
      </provides>
      <requires size='8'>
        <required namespace='osgi.bundle' name='de.prob.core' range='[9.6.1,9.7.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.runtime' range='[3.20.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core.ast' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core.seqprover' range='[3.4.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.rodinp.core' range='[1.9.0,2.0.0)'/>
        <requiredProperties namespace='osgi.ee' match='(&amp;(osgi.ee=JavaSE)(version=11))'>
          <description>
            de.prob.eventb.disprover.core
          </description>
        </requiredProperties>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.eventb.disprover.core.source' range='[2.2.1.202508121324,2.2.1.202508121324]' optional='true'>
          <filter>
            (org.eclipse.update.install.sources=true)
          </filter>
        </required>
      </requires>
      <artifacts size='1'>
        <artifact classifier='osgi.bundle' id='de.prob.eventb.disprover.core' version='2.2.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='1'>
          <instruction key='manifest'>
            Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true&#xA;Bundle-Version: 2.2.1.202508121324
          </instruction>
        </instructions>
      </touchpointData>
    </unit>
    <unit id='de.prob.core' version='9.6.1.202508121324' generation='2'>
      <update id='de.prob.core' range='[0.0.0,9.6.1.202508121324)' severity='0'/>
      <properties size='6'>
        <property name='org.eclipse.equinox.p2.name' value='ProB Animator Core'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.core'/>
        <property name='maven-version' value='9.6.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
      </properties>
      <provides size='61'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob.core' version='9.6.1.202508121324'/>
        <provided namespace='osgi.bundle' name='de.prob.core' version='9.6.1.202508121324'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.parser' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.parser.analysis' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.parser.analysis.checking' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.parser.analysis.prolog' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.parser.analysis.transforming' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.parser.exceptions' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.parser.lexer' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.parser.node' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.parser.parser' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.preparser.analysis' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.preparser.lexer' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.preparser.node' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.classicalb.core.preparser.parser' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.ctlparser.analysis' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.ctlparser.lexer' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.ctlparser.node' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.ctlparser.parser' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.parser' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.parser.analysis' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.parser.internal' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.parser.lexer' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.parser.node' version='0.0.0'/>
        <provided namespace='java.package' name='de.be4.ltl.core.parser.parser' version='0.0.0'/>
        <provided namespace='java.package' name='de.hhu.stups.sablecc.patch' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.cli' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.command' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.command.internal' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.domainobjects' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.domainobjects.eval' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.domainobjects.ltl' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.internal' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.langdep' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.prolog' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.sablecc.analysis' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.sablecc.lexer' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.sablecc.node' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.sablecc.parser' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.translator' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.core.types' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.eventb.translator' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.eventb.translator.flow' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.eventb.translator.internal' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.exceptions' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.logging' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.parser' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.parserbase' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.prolog.match' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.prolog.output' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.prolog.term' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.sap.commands' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.sap.exceptions' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.sap.util' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.unicode' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.unicode.analysis' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.unicode.lexer' version='0.0.0'/>
        <provided namespace='java.package' name='de.prob.unicode.node' version='0.0.0'/>
        <provided namespace='osgi.identity' name='de.prob.core' version='9.6.1.202508121324'>
          <properties size='1'>
            <property name='type' value='osgi.bundle'/>
          </properties>
        </provided>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='bundle' version='1.0.0'/>
      </provides>
      <requires size='10'>
        <required namespace='osgi.bundle' name='org.eclipse.core.filesystem' range='[1.7.0,2.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.resources' range='[3.13.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.runtime' range='[3.20.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core.ast' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core.seqprover' range='[3.4.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.theory.core' range='[4.0.0,4.1.0)' optional='true' greedy='false'/>
        <required namespace='osgi.bundle' name='org.rodinp.core' range='[1.9.0,2.0.0)'/>
        <requiredProperties namespace='osgi.ee' match='(&amp;(osgi.ee=JavaSE)(version=11))'>
          <description>
            de.prob.core
          </description>
        </requiredProperties>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.core.source' range='[9.6.1.202508121324,9.6.1.202508121324]' optional='true'>
          <filter>
            (org.eclipse.update.install.sources=true)
          </filter>
        </required>
      </requires>
      <artifacts size='1'>
        <artifact classifier='osgi.bundle' id='de.prob.core' version='9.6.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='2'>
          <instruction key='zipped'>
            true
          </instruction>
          <instruction key='manifest'>
            Bundle-SymbolicName: de.prob.core;singleton:=true&#xA;Bundle-Version: 9.6.1.202508121324
          </instruction>
        </instructions>
      </touchpointData>
    </unit>
    <unit id='de.prob.symbolic' version='7.6.1.202508121324' generation='2'>
      <update id='de.prob.symbolic' range='[0.0.0,7.6.1.202508121324)' severity='0'/>
      <properties size='6'>
        <property name='org.eclipse.equinox.p2.name' value='ProB Symbolic Evaluation Support'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.symbolic'/>
        <property name='maven-version' value='7.6.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
      </properties>
      <provides size='4'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob.symbolic' version='7.6.1.202508121324'/>
        <provided namespace='osgi.bundle' name='de.prob.symbolic' version='7.6.1.202508121324'/>
        <provided namespace='osgi.identity' name='de.prob.symbolic' version='7.6.1.202508121324'>
          <properties size='1'>
            <property name='type' value='osgi.bundle'/>
          </properties>
        </provided>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='bundle' version='1.0.0'/>
      </provides>
      <requires size='7'>
        <required namespace='osgi.bundle' name='org.eclipse.core.runtime' range='[3.20.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.ui' range='[3.118.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.ui' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.rodinp.core' range='[1.9.0,2.0.0)'/>
        <requiredProperties namespace='osgi.ee' match='(&amp;(osgi.ee=JavaSE)(version=11))'>
          <description>
            de.prob.symbolic
          </description>
        </requiredProperties>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.symbolic.source' range='[7.6.1.202508121324,7.6.1.202508121324]' optional='true'>
          <filter>
            (org.eclipse.update.install.sources=true)
          </filter>
        </required>
      </requires>
      <artifacts size='1'>
        <artifact classifier='osgi.bundle' id='de.prob.symbolic' version='7.6.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='1'>
          <instruction key='manifest'>
            Bundle-SymbolicName: de.prob.symbolic;singleton:=true&#xA;Bundle-Version: 7.6.1.202508121324
          </instruction>
        </instructions>
      </touchpointData>
    </unit>
    <unit id='de.prob2.disprover.feature.feature.group' version='3.2.1.202508121324' singleton='false'>
      <update id='de.prob2.disprover.feature.feature.group' range='[0.0.0,3.2.1.202508121324)' severity='0'/>
      <properties size='9'>
        <property name='org.eclipse.equinox.p2.name' value='ProB for Rodin - (Dis)Prover'/>
        <property name='org.eclipse.equinox.p2.description' value='Allows using ProB as a (dis)prover while proving POs.&#xA;&#xA;ProB is an animator and model checker for the B-Method. It allows&#xA;fully automatic animation of many B specifications, and can be&#xA;used to systematically check a specification for errors.&#xA;Part of the research and development was conducted within the&#xA;EPSRC funded projects ABCD and iMoc, and within the EU funded&#xA;projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.&#xA;ProB has been successfully used on various industrial specifications&#xA;and is now being used e.g. within Siemens, Alstom, Thales and ClearSy.'/>
        <property name='org.eclipse.equinox.p2.description.url' value='https://prob.hhu.de/w/'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.equinox.p2.type.group' value='true'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob2.disprover.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
      </properties>
      <provides size='1'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob2.disprover.feature.feature.group' version='3.2.1.202508121324'/>
      </provides>
      <requires size='13'>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.core' range='[9.6.1,9.7.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.ui' range='[7.6.1,7.7.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.runtime' range='[3.2.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.osgi' range='[3.16.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.ui' range='[3.118.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.core' range='[3.5.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.core.ast' range='[3.5.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.core.seqprover' range='[3.4.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.ui' range='[3.5.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.rodinp.core' range='[1.9.0,2.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.eventb.disprover.core' range='[2.2.1.202508121324,2.2.1.202508121324]'/>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.eventb.disprover.ui' range='[2.2.1.202508121324,2.2.1.202508121324]'/>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob2.disprover.feature.feature.jar' range='[3.2.1.202508121324,3.2.1.202508121324]'>
          <filter>
            (org.eclipse.update.install.features=true)
          </filter>
        </required>
      </requires>
      <touchpoint id='null' version='0.0.0'/>
      <licenses size='1'>
        <license uri='http://www.eclipse.org/org/documents/epl-v10.html' url='http://www.eclipse.org/org/documents/epl-v10.html'>
          ProB can be used freely for commercial, non-commercial and academic&#xA;use under the Eclipse Public Licence v. 1.0. (below)&#xA;For availability of commercial support, please contact the author&#xA;(http://www.stups.uni-duesseldorf.de/~leuschel).&#xA;Use of ProB&apos;s nauty library for symmetry reduction implies further&#xA;restrictions (no applications with nontrivial military significance,&#xA;see http://cs.anu.edu.au/~bdm/nauty/).&#xA;---&#xA;Eclipse Public License - v. 1.0&#xA;THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS&#xA;ECLIPSE PUBLIC LICENSE (&quot;AGREEMENT&quot;). ANY USE, REPRODUCTION OR&#xA;DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT&apos;S ACCEPTANCE&#xA;OF THIS AGREEMENT.&#xA;1. DEFINITIONS&#xA;&quot;Contribution&quot; means:&#xA;a) in the case of the initial Contributor, the initial code and&#xA;documentation distributed under this Agreement, and&#xA;b) in the case of each subsequent Contributor:&#xA;i) changes to the Program, and&#xA;ii) additions to the Program;&#xA;where such changes and/or additions to the Program originate&#xA;from and are distributed by that particular Contributor. A Contribution&#xA;&apos;originates&apos; from a Contributor if it was added to the Program&#xA;by such Contributor itself or anyone acting on such Contributor&apos;s&#xA;behalf. Contributions do not include additions to the Program&#xA;which: (i) are separate modules of software distributed in conjunction&#xA;with the Program under their own license agreement, and (ii)&#xA;are not derivative works of the Program.&#xA;&quot;Contributor&quot; means any person or entity that distributes the&#xA;Program.&#xA;&quot;Licensed Patents&quot; mean patent claims licensable by a Contributor&#xA;which are necessarily infringed by the use or sale of its Contribution&#xA;alone or when combined with the Program.&#xA;&quot;Program&quot; means the Contributions distributed in accordance with&#xA;this Agreement.&#xA;&quot;Recipient&quot; means anyone who receives the Program under this&#xA;Agreement, including all Contributors.&#xA;2. GRANT OF RIGHTS&#xA;a) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free copyright&#xA;license to reproduce, prepare derivative works of, publicly display,&#xA;publicly perform, distribute and sublicense the Contribution&#xA;of such Contributor, if any, and such derivative works, in source&#xA;code and object code form.&#xA;b) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free patent&#xA;license under Licensed Patents to make, use, sell, offer to sell,&#xA;import and otherwise transfer the Contribution of such Contributor,&#xA;if any, in source code and object code form. This patent license&#xA;shall apply to the combination of the Contribution and the Program&#xA;if, at the time the Contribution is added by the Contributor,&#xA;such addition of the Contribution causes such combination to&#xA;be covered by the Licensed Patents. The patent license shall&#xA;not apply to any other combinations which include the Contribution.&#xA;No hardware per se is licensed hereunder.&#xA;c) Recipient understands that although each Contributor grants&#xA;the licenses to its Contributions set forth herein, no assurances&#xA;are provided by any Contributor that the Program does not infringe&#xA;the patent or other intellectual property rights of any other&#xA;entity. Each Contributor disclaims any liability to Recipient&#xA;for claims brought by any other entity based on infringement&#xA;of intellectual property rights or otherwise. As a condition&#xA;to exercising the rights and licenses granted hereunder, each&#xA;Recipient hereby assumes sole responsibility to secure any other&#xA;intellectual property rights needed, if any. For example, if&#xA;a third party patent license is required to allow Recipient to&#xA;distribute the Program, it is Recipient&apos;s responsibility to acquire&#xA;that license before distributing the Program.&#xA;d) Each Contributor represents that to its knowledge it has sufficient&#xA;copyright rights in its Contribution, if any, to grant the copyright&#xA;license set forth in this Agreement.&#xA;3. REQUIREMENTS&#xA;A Contributor may choose to distribute the Program in object&#xA;code form under its own license agreement, provided that:&#xA;a) it complies with the terms and conditions of this Agreement;&#xA;and&#xA;b) its license agreement:&#xA;i) effectively disclaims on behalf of all Contributors all warranties&#xA;and conditions, express and implied, including warranties or&#xA;conditions of title and non-infringement, and implied warranties&#xA;or conditions of merchantability and fitness for a particular&#xA;purpose;&#xA;ii) effectively excludes on behalf of all Contributors all liability&#xA;for damages, including direct, indirect, special, incidental&#xA;and consequential damages, such as lost profits;&#xA;iii) states that any provisions which differ from this Agreement&#xA;are offered by that Contributor alone and not by any other party;&#xA;and&#xA;iv) states that source code for the Program is available from&#xA;such Contributor, and informs licensees how to obtain it in a&#xA;reasonable manner on or through a medium customarily used for&#xA;software exchange.&#xA;When the Program is made available in source code form:&#xA;a) it must be made available under this Agreement; and&#xA;b) a copy of this Agreement must be included with each copy of&#xA;the Program.&#xA;Contributors may not remove or alter any copyright notices contained&#xA;within the Program.&#xA;Each Contributor must identify itself as the originator of its&#xA;Contribution, if any, in a manner that reasonably allows subsequent&#xA;Recipients to identify the originator of the Contribution.&#xA;4. COMMERCIAL DISTRIBUTION&#xA;Commercial distributors of software may accept certain responsibilities&#xA;with respect to end users, business partners and the like. While&#xA;this license is intended to facilitate the commercial use of&#xA;the Program, the Contributor who includes the Program in a commercial&#xA;product offering should do so in a manner which does not create&#xA;potential liability for other Contributors. Therefore, if a Contributor&#xA;includes the Program in a commercial product offering, such Contributor&#xA;(&quot;Commercial Contributor&quot;) hereby agrees to defend and indemnify&#xA;every other Contributor (&quot;Indemnified Contributor&quot;) against any&#xA;losses, damages and costs (collectively &quot;Losses&quot;) arising from&#xA;claims, lawsuits and other legal actions brought by a third party&#xA;against the Indemnified Contributor to the extent caused by the&#xA;acts or omissions of such Commercial Contributor in connection&#xA;with its distribution of the Program in a commercial product&#xA;offering. The obligations in this section do not apply to any&#xA;claims or Losses relating to any actual or alleged intellectual&#xA;property infringement. In order to qualify, an Indemnified Contributor&#xA;must: a) promptly notify the Commercial Contributor in writing&#xA;of such claim, and b) allow the Commercial Contributor to control,&#xA;and cooperate with the Commercial Contributor in, the defense&#xA;and any related settlement negotiations. The Indemnified Contributor&#xA;may participate in any such claim at its own expense.&#xA;For example, a Contributor might include the Program in a commercial&#xA;product offering, Product X. That Contributor is then a Commercial&#xA;Contributor. If that Commercial Contributor then makes performance&#xA;claims, or offers warranties related to Product X, those performance&#xA;claims and warranties are such Commercial Contributor&apos;s responsibility&#xA;alone. Under this section, the Commercial Contributor would have&#xA;to defend claims against the other Contributors related to those&#xA;performance claims and warranties, and if a court requires any&#xA;other Contributor to pay any damages as a result, the Commercial&#xA;Contributor must pay those damages.&#xA;5. NO WARRANTY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM&#xA;IS PROVIDED ON AN &quot;AS IS&quot; BASIS, WITHOUT WARRANTIES OR CONDITIONS&#xA;OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION,&#xA;ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY&#xA;OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely&#xA;responsible for determining the appropriateness of using and&#xA;distributing the Program and assumes all risks associated with&#xA;its exercise of rights under this Agreement , including but not&#xA;limited to the risks and costs of program errors, compliance&#xA;with applicable laws, damage to or loss of data, programs or&#xA;equipment, and unavailability or interruption of operations.&#xA;6. DISCLAIMER OF LIABILITY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT&#xA;NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT,&#xA;INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES&#xA;(INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND&#xA;ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,&#xA;OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY&#xA;OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE&#xA;OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY&#xA;OF SUCH DAMAGES.&#xA;7. GENERAL&#xA;If any provision of this Agreement is invalid or unenforceable&#xA;under applicable law, it shall not affect the validity or enforceability&#xA;of the remainder of the terms of this Agreement, and without&#xA;further action by the parties hereto, such provision shall be&#xA;reformed to the minimum extent necessary to make such provision&#xA;valid and enforceable.&#xA;If Recipient institutes patent litigation against any entity&#xA;(including a cross-claim or counterclaim in a lawsuit) alleging&#xA;that the Program itself (excluding combinations of the Program&#xA;with other software or hardware) infringes such Recipient&apos;s patent(s),&#xA;then such Recipient&apos;s rights granted under Section 2(b) shall&#xA;terminate as of the date such litigation is filed.&#xA;All Recipient&apos;s rights under this Agreement shall terminate if&#xA;it fails to comply with any of the material terms or conditions&#xA;of this Agreement and does not cure such failure in a reasonable&#xA;period of time after becoming aware of such noncompliance. If&#xA;all Recipient&apos;s rights under this Agreement terminate, Recipient&#xA;agrees to cease use and distribution of the Program as soon as&#xA;reasonably practicable. However, Recipient&apos;s obligations under&#xA;this Agreement and any licenses granted by Recipient relating&#xA;to the Program shall continue and survive.&#xA;Everyone is permitted to copy and distribute copies of this Agreement,&#xA;but in order to avoid inconsistency the Agreement is copyrighted&#xA;and may only be modified in the following manner. The Agreement&#xA;Steward reserves the right to publish new versions (including&#xA;revisions) of this Agreement from time to time. No one other&#xA;than the Agreement Steward has the right to modify this Agreement.&#xA;The Eclipse Foundation is the initial Agreement Steward. The&#xA;Eclipse Foundation may assign the responsibility to serve as&#xA;the Agreement Steward to a suitable separate entity. Each new&#xA;version of the Agreement will be given a distinguishing version&#xA;number. The Program (including Contributions) may always be distributed&#xA;subject to the version of the Agreement under which it was received.&#xA;In addition, after a new version of the Agreement is published,&#xA;Contributor may elect to distribute the Program (including its&#xA;Contributions) under the new version. Except as expressly stated&#xA;in Sections 2(a) and 2(b) above, Recipient receives no rights&#xA;or licenses to the intellectual property of any Contributor under&#xA;this Agreement, whether expressly, by implication, estoppel or&#xA;otherwise. All rights in the Program not expressly granted under&#xA;this Agreement are reserved.&#xA;This Agreement is governed by the laws of the State of New York&#xA;and the intellectual property laws of the United States of America.&#xA;No party to this Agreement will bring a legal action under this&#xA;Agreement more than one year after the cause of action arose.&#xA;Each party waives its rights to a jury trial in any resulting&#xA;litigation.
        </license>
      </licenses>
      <copyright>
        (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
      </copyright>
    </unit>
    <unit id='de.bmotionstudio.gef.editor' version='5.7.1.202508121324' generation='2'>
      <update id='de.bmotionstudio.gef.editor' range='[0.0.0,5.7.1.202508121324)' severity='0'/>
      <properties size='6'>
        <property name='org.eclipse.equinox.p2.name' value='BMotion Studio for Rodin'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.bmotionstudio.gef.editor'/>
        <property name='maven-version' value='5.7.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
      </properties>
      <provides size='18'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.bmotionstudio.gef.editor' version='5.7.1.202508121324'/>
        <provided namespace='osgi.bundle' name='de.bmotionstudio.gef.editor' version='5.7.1.202508121324'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.attribute' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.command' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.edit' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.editpolicy' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.eventb' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.figure' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.library' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.model' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.observer' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.part' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.property' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.scheduler' version='0.0.0'/>
        <provided namespace='java.package' name='de.bmotionstudio.gef.editor.util' version='0.0.0'/>
        <provided namespace='osgi.identity' name='de.bmotionstudio.gef.editor' version='5.7.1.202508121324'>
          <properties size='1'>
            <property name='type' value='osgi.bundle'/>
          </properties>
        </provided>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='bundle' version='1.0.0'/>
      </provides>
      <requires size='18'>
        <required namespace='osgi.bundle' name='de.prob.core' range='[9.6.1,9.7.0)'/>
        <required namespace='osgi.bundle' name='de.prob.ui' range='[7.6.1,7.7.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.databinding' range='[1.10.0,2.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.databinding.beans' range='[1.7.0,2.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.databinding.property' range='[1.7.0,2.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.resources' range='[3.13.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.runtime' range='[3.20.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.gef' range='[3.11.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.jface.databinding' range='[1.12.0,2.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.ui' range='[3.118.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.ui.ide' range='[3.18.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.ui.navigator' range='[3.9.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.ui.views' range='[3.10.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core.ast' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.rodinp.core' range='[1.9.0,2.0.0)'/>
        <requiredProperties namespace='osgi.ee' match='(&amp;(osgi.ee=JavaSE)(version=11))'>
          <description>
            de.bmotionstudio.gef.editor
          </description>
        </requiredProperties>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.bmotionstudio.gef.editor.source' range='[5.7.1.202508121324,5.7.1.202508121324]' optional='true'>
          <filter>
            (org.eclipse.update.install.sources=true)
          </filter>
        </required>
      </requires>
      <artifacts size='1'>
        <artifact classifier='osgi.bundle' id='de.bmotionstudio.gef.editor' version='5.7.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='1'>
          <instruction key='manifest'>
            Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true&#xA;Bundle-Version: 5.7.1.202508121324
          </instruction>
        </instructions>
      </touchpointData>
    </unit>
    <unit id='de.bmotionstudio.feature.feature.jar' version='3.2.1.202508121324'>
      <properties size='9'>
        <property name='org.eclipse.equinox.p2.name' value='ProB for Rodin - BMotion Studio'/>
        <property name='org.eclipse.equinox.p2.description' value='The BMotion Studio interactive visualization tool based on the ProB animator.&#xA;Warning: Development of BMotion Studio has ended in 2013.&#xA;This plug-in is maintained on a best-effort basis and not actively tested.&#xA;&#xA;ProB is an animator and model checker for the B-Method. It allows&#xA;fully automatic animation of many B specifications, and can be&#xA;used to systematically check a specification for errors.&#xA;Part of the research and development was conducted within the&#xA;EPSRC funded projects ABCD and iMoc, and within the EU funded&#xA;projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.&#xA;ProB has been successfully used on various industrial specifications&#xA;and is now being used within Siemens, Alstom, Thales.'/>
        <property name='org.eclipse.equinox.p2.description.url' value='https://prob.hhu.de/w/'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.update.feature.plugin' value='de.bmotionstudio.gef.editor'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.bmotionstudio.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
      </properties>
      <provides size='3'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.bmotionstudio.feature.feature.jar' version='3.2.1.202508121324'/>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='feature' version='1.0.0'/>
        <provided namespace='org.eclipse.update.feature' name='de.bmotionstudio.feature' version='3.2.1.202508121324'/>
      </provides>
      <filter>
        (org.eclipse.update.install.features=true)
      </filter>
      <artifacts size='1'>
        <artifact classifier='org.eclipse.update.feature' id='de.bmotionstudio.feature' version='3.2.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='1'>
          <instruction key='zipped'>
            true
          </instruction>
        </instructions>
      </touchpointData>
      <licenses size='1'>
        <license uri='http://www.eclipse.org/org/documents/epl-v10.html' url='http://www.eclipse.org/org/documents/epl-v10.html'>
          ProB can be used freely for commercial, non-commercial and academic&#xA;use under the Eclipse Public Licence v. 1.0. (below) &#xA;For availability of commercial support, please contact the author&#xA;(http://www.stups.uni-duesseldorf.de/~leuschel). &#xA;Use of ProB&apos;s nauty library for symmetry reduction implies further&#xA;restrictions (no applications with nontrivial military significance,&#xA;see http://cs.anu.edu.au/~bdm/nauty/).&#xA;--- &#xA;Eclipse Public License - v. 1.0&#xA;THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS&#xA;ECLIPSE PUBLIC LICENSE (&quot;AGREEMENT&quot;). ANY USE, REPRODUCTION OR&#xA;DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT&apos;S ACCEPTANCE&#xA;OF THIS AGREEMENT.&#xA;1. DEFINITIONS&#xA;&quot;Contribution&quot; means:&#xA;a) in the case of the initial Contributor, the initial code and&#xA;documentation distributed under this Agreement, and&#xA;b) in the case of each subsequent Contributor:&#xA;i) changes to the Program, and&#xA;ii) additions to the Program;&#xA;where such changes and/or additions to the Program originate&#xA;from and are distributed by that particular Contributor. A Contribution&#xA;&apos;originates&apos; from a Contributor if it was added to the Program&#xA;by such Contributor itself or anyone acting on such Contributor&apos;s&#xA;behalf. Contributions do not include additions to the Program&#xA;which: (i) are separate modules of software distributed in conjunction&#xA;with the Program under their own license agreement, and (ii)&#xA;are not derivative works of the Program.&#xA;&quot;Contributor&quot; means any person or entity that distributes the&#xA;Program.&#xA;&quot;Licensed Patents&quot; mean patent claims licensable by a Contributor&#xA;which are necessarily infringed by the use or sale of its Contribution&#xA;alone or when combined with the Program.&#xA;&quot;Program&quot; means the Contributions distributed in accordance with&#xA;this Agreement.&#xA;&quot;Recipient&quot; means anyone who receives the Program under this&#xA;Agreement, including all Contributors.&#xA;2. GRANT OF RIGHTS&#xA;a) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free copyright&#xA;license to reproduce, prepare derivative works of, publicly display,&#xA;publicly perform, distribute and sublicense the Contribution&#xA;of such Contributor, if any, and such derivative works, in source&#xA;code and object code form.&#xA;b) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free patent&#xA;license under Licensed Patents to make, use, sell, offer to sell,&#xA;import and otherwise transfer the Contribution of such Contributor,&#xA;if any, in source code and object code form. This patent license&#xA;shall apply to the combination of the Contribution and the Program&#xA;if, at the time the Contribution is added by the Contributor,&#xA;such addition of the Contribution causes such combination to&#xA;be covered by the Licensed Patents. The patent license shall&#xA;not apply to any other combinations which include the Contribution.&#xA;No hardware per se is licensed hereunder.&#xA;c) Recipient understands that although each Contributor grants&#xA;the licenses to its Contributions set forth herein, no assurances&#xA;are provided by any Contributor that the Program does not infringe&#xA;the patent or other intellectual property rights of any other&#xA;entity. Each Contributor disclaims any liability to Recipient&#xA;for claims brought by any other entity based on infringement&#xA;of intellectual property rights or otherwise. As a condition&#xA;to exercising the rights and licenses granted hereunder, each&#xA;Recipient hereby assumes sole responsibility to secure any other&#xA;intellectual property rights needed, if any. For example, if&#xA;a third party patent license is required to allow Recipient to&#xA;distribute the Program, it is Recipient&apos;s responsibility to acquire&#xA;that license before distributing the Program.&#xA;d) Each Contributor represents that to its knowledge it has sufficient&#xA;copyright rights in its Contribution, if any, to grant the copyright&#xA;license set forth in this Agreement.&#xA;3. REQUIREMENTS&#xA;A Contributor may choose to distribute the Program in object&#xA;code form under its own license agreement, provided that:&#xA;a) it complies with the terms and conditions of this Agreement;&#xA;and&#xA;b) its license agreement:&#xA;i) effectively disclaims on behalf of all Contributors all warranties&#xA;and conditions, express and implied, including warranties or&#xA;conditions of title and non-infringement, and implied warranties&#xA;or conditions of merchantability and fitness for a particular&#xA;purpose;&#xA;ii) effectively excludes on behalf of all Contributors all liability&#xA;for damages, including direct, indirect, special, incidental&#xA;and consequential damages, such as lost profits;&#xA;iii) states that any provisions which differ from this Agreement&#xA;are offered by that Contributor alone and not by any other party;&#xA;and&#xA;iv) states that source code for the Program is available from&#xA;such Contributor, and informs licensees how to obtain it in a&#xA;reasonable manner on or through a medium customarily used for&#xA;software exchange.&#xA;When the Program is made available in source code form:&#xA;a) it must be made available under this Agreement; and&#xA;b) a copy of this Agreement must be included with each copy of&#xA;the Program.&#xA;Contributors may not remove or alter any copyright notices contained&#xA;within the Program.&#xA;Each Contributor must identify itself as the originator of its&#xA;Contribution, if any, in a manner that reasonably allows subsequent&#xA;Recipients to identify the originator of the Contribution.&#xA;4. COMMERCIAL DISTRIBUTION&#xA;Commercial distributors of software may accept certain responsibilities&#xA;with respect to end users, business partners and the like. While&#xA;this license is intended to facilitate the commercial use of&#xA;the Program, the Contributor who includes the Program in a commercial&#xA;product offering should do so in a manner which does not create&#xA;potential liability for other Contributors. Therefore, if a Contributor&#xA;includes the Program in a commercial product offering, such Contributor&#xA;(&quot;Commercial Contributor&quot;) hereby agrees to defend and indemnify&#xA;every other Contributor (&quot;Indemnified Contributor&quot;) against any&#xA;losses, damages and costs (collectively &quot;Losses&quot;) arising from&#xA;claims, lawsuits and other legal actions brought by a third party&#xA;against the Indemnified Contributor to the extent caused by the&#xA;acts or omissions of such Commercial Contributor in connection&#xA;with its distribution of the Program in a commercial product&#xA;offering. The obligations in this section do not apply to any&#xA;claims or Losses relating to any actual or alleged intellectual&#xA;property infringement. In order to qualify, an Indemnified Contributor&#xA;must: a) promptly notify the Commercial Contributor in writing&#xA;of such claim, and b) allow the Commercial Contributor to control,&#xA;and cooperate with the Commercial Contributor in, the defense&#xA;and any related settlement negotiations. The Indemnified Contributor&#xA;may participate in any such claim at its own expense.&#xA;For example, a Contributor might include the Program in a commercial&#xA;product offering, Product X. That Contributor is then a Commercial&#xA;Contributor. If that Commercial Contributor then makes performance&#xA;claims, or offers warranties related to Product X, those performance&#xA;claims and warranties are such Commercial Contributor&apos;s responsibility&#xA;alone. Under this section, the Commercial Contributor would have&#xA;to defend claims against the other Contributors related to those&#xA;performance claims and warranties, and if a court requires any&#xA;other Contributor to pay any damages as a result, the Commercial&#xA;Contributor must pay those damages.&#xA;5. NO WARRANTY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM&#xA;IS PROVIDED ON AN &quot;AS IS&quot; BASIS, WITHOUT WARRANTIES OR CONDITIONS&#xA;OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION,&#xA;ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY&#xA;OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely&#xA;responsible for determining the appropriateness of using and&#xA;distributing the Program and assumes all risks associated with&#xA;its exercise of rights under this Agreement , including but not&#xA;limited to the risks and costs of program errors, compliance&#xA;with applicable laws, damage to or loss of data, programs or&#xA;equipment, and unavailability or interruption of operations.&#xA;6. DISCLAIMER OF LIABILITY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT&#xA;NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT,&#xA;INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES&#xA;(INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND&#xA;ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,&#xA;OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY&#xA;OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE&#xA;OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY&#xA;OF SUCH DAMAGES.&#xA;7. GENERAL&#xA;If any provision of this Agreement is invalid or unenforceable&#xA;under applicable law, it shall not affect the validity or enforceability&#xA;of the remainder of the terms of this Agreement, and without&#xA;further action by the parties hereto, such provision shall be&#xA;reformed to the minimum extent necessary to make such provision&#xA;valid and enforceable.&#xA;If Recipient institutes patent litigation against any entity&#xA;(including a cross-claim or counterclaim in a lawsuit) alleging&#xA;that the Program itself (excluding combinations of the Program&#xA;with other software or hardware) infringes such Recipient&apos;s patent(s),&#xA;then such Recipient&apos;s rights granted under Section 2(b) shall&#xA;terminate as of the date such litigation is filed.&#xA;All Recipient&apos;s rights under this Agreement shall terminate if&#xA;it fails to comply with any of the material terms or conditions&#xA;of this Agreement and does not cure such failure in a reasonable&#xA;period of time after becoming aware of such noncompliance. If&#xA;all Recipient&apos;s rights under this Agreement terminate, Recipient&#xA;agrees to cease use and distribution of the Program as soon as&#xA;reasonably practicable. However, Recipient&apos;s obligations under&#xA;this Agreement and any licenses granted by Recipient relating&#xA;to the Program shall continue and survive.&#xA;Everyone is permitted to copy and distribute copies of this Agreement,&#xA;but in order to avoid inconsistency the Agreement is copyrighted&#xA;and may only be modified in the following manner. The Agreement&#xA;Steward reserves the right to publish new versions (including&#xA;revisions) of this Agreement from time to time. No one other&#xA;than the Agreement Steward has the right to modify this Agreement.&#xA;The Eclipse Foundation is the initial Agreement Steward. The&#xA;Eclipse Foundation may assign the responsibility to serve as&#xA;the Agreement Steward to a suitable separate entity. Each new&#xA;version of the Agreement will be given a distinguishing version&#xA;number. The Program (including Contributions) may always be distributed&#xA;subject to the version of the Agreement under which it was received.&#xA;In addition, after a new version of the Agreement is published,&#xA;Contributor may elect to distribute the Program (including its&#xA;Contributions) under the new version. Except as expressly stated&#xA;in Sections 2(a) and 2(b) above, Recipient receives no rights&#xA;or licenses to the intellectual property of any Contributor under&#xA;this Agreement, whether expressly, by implication, estoppel or&#xA;otherwise. All rights in the Program not expressly granted under&#xA;this Agreement are reserved.&#xA;This Agreement is governed by the laws of the State of New York&#xA;and the intellectual property laws of the United States of America.&#xA;No party to this Agreement will bring a legal action under this&#xA;Agreement more than one year after the cause of action arose.&#xA;Each party waives its rights to a jury trial in any resulting&#xA;litigation.
        </license>
      </licenses>
      <copyright>
        (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
      </copyright>
    </unit>
    <unit id='de.prob2.feature.feature.jar' version='3.2.1.202508121324'>
      <properties size='9'>
        <property name='org.eclipse.equinox.p2.name' value='ProB for Rodin'/>
        <property name='org.eclipse.equinox.p2.description' value='ProB animator plug-in for Rodin.&#xA;Note: BMotion Studio, previously included with the ProB animator, is now a separate plug-in.&#xA;&#xA;ProB is an animator and model checker for the B-Method. It allows&#xA;fully automatic animation of many B specifications, and can be&#xA;used to systematically check a specification for errors.&#xA;Part of the research and development was conducted within the&#xA;EPSRC funded projects ABCD and iMoc, and within the EU funded&#xA;projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.&#xA;ProB has been successfully used on various industrial specifications&#xA;and is now being used within Siemens, Alstom, Thales.'/>
        <property name='org.eclipse.equinox.p2.description.url' value='https://prob.hhu.de/w/'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.update.feature.plugin' value='de.prob.ui'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob2.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
      </properties>
      <provides size='3'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob2.feature.feature.jar' version='3.2.1.202508121324'/>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='feature' version='1.0.0'/>
        <provided namespace='org.eclipse.update.feature' name='de.prob2.feature' version='3.2.1.202508121324'/>
      </provides>
      <filter>
        (org.eclipse.update.install.features=true)
      </filter>
      <artifacts size='1'>
        <artifact classifier='org.eclipse.update.feature' id='de.prob2.feature' version='3.2.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='1'>
          <instruction key='zipped'>
            true
          </instruction>
        </instructions>
      </touchpointData>
      <licenses size='1'>
        <license uri='http://www.eclipse.org/org/documents/epl-v10.html' url='http://www.eclipse.org/org/documents/epl-v10.html'>
          ProB can be used freely for commercial, non-commercial and academic&#xA;use under the Eclipse Public Licence v. 1.0. (below) &#xA;For availability of commercial support, please contact the author&#xA;(http://www.stups.uni-duesseldorf.de/~leuschel). &#xA;Use of ProB&apos;s nauty library for symmetry reduction implies further&#xA;restrictions (no applications with nontrivial military significance,&#xA;see http://cs.anu.edu.au/~bdm/nauty/).&#xA;--- &#xA;Eclipse Public License - v. 1.0&#xA;THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS&#xA;ECLIPSE PUBLIC LICENSE (&quot;AGREEMENT&quot;). ANY USE, REPRODUCTION OR&#xA;DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT&apos;S ACCEPTANCE&#xA;OF THIS AGREEMENT.&#xA;1. DEFINITIONS&#xA;&quot;Contribution&quot; means:&#xA;a) in the case of the initial Contributor, the initial code and&#xA;documentation distributed under this Agreement, and&#xA;b) in the case of each subsequent Contributor:&#xA;i) changes to the Program, and&#xA;ii) additions to the Program;&#xA;where such changes and/or additions to the Program originate&#xA;from and are distributed by that particular Contributor. A Contribution&#xA;&apos;originates&apos; from a Contributor if it was added to the Program&#xA;by such Contributor itself or anyone acting on such Contributor&apos;s&#xA;behalf. Contributions do not include additions to the Program&#xA;which: (i) are separate modules of software distributed in conjunction&#xA;with the Program under their own license agreement, and (ii)&#xA;are not derivative works of the Program.&#xA;&quot;Contributor&quot; means any person or entity that distributes the&#xA;Program.&#xA;&quot;Licensed Patents&quot; mean patent claims licensable by a Contributor&#xA;which are necessarily infringed by the use or sale of its Contribution&#xA;alone or when combined with the Program.&#xA;&quot;Program&quot; means the Contributions distributed in accordance with&#xA;this Agreement.&#xA;&quot;Recipient&quot; means anyone who receives the Program under this&#xA;Agreement, including all Contributors.&#xA;2. GRANT OF RIGHTS&#xA;a) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free copyright&#xA;license to reproduce, prepare derivative works of, publicly display,&#xA;publicly perform, distribute and sublicense the Contribution&#xA;of such Contributor, if any, and such derivative works, in source&#xA;code and object code form.&#xA;b) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free patent&#xA;license under Licensed Patents to make, use, sell, offer to sell,&#xA;import and otherwise transfer the Contribution of such Contributor,&#xA;if any, in source code and object code form. This patent license&#xA;shall apply to the combination of the Contribution and the Program&#xA;if, at the time the Contribution is added by the Contributor,&#xA;such addition of the Contribution causes such combination to&#xA;be covered by the Licensed Patents. The patent license shall&#xA;not apply to any other combinations which include the Contribution.&#xA;No hardware per se is licensed hereunder.&#xA;c) Recipient understands that although each Contributor grants&#xA;the licenses to its Contributions set forth herein, no assurances&#xA;are provided by any Contributor that the Program does not infringe&#xA;the patent or other intellectual property rights of any other&#xA;entity. Each Contributor disclaims any liability to Recipient&#xA;for claims brought by any other entity based on infringement&#xA;of intellectual property rights or otherwise. As a condition&#xA;to exercising the rights and licenses granted hereunder, each&#xA;Recipient hereby assumes sole responsibility to secure any other&#xA;intellectual property rights needed, if any. For example, if&#xA;a third party patent license is required to allow Recipient to&#xA;distribute the Program, it is Recipient&apos;s responsibility to acquire&#xA;that license before distributing the Program.&#xA;d) Each Contributor represents that to its knowledge it has sufficient&#xA;copyright rights in its Contribution, if any, to grant the copyright&#xA;license set forth in this Agreement.&#xA;3. REQUIREMENTS&#xA;A Contributor may choose to distribute the Program in object&#xA;code form under its own license agreement, provided that:&#xA;a) it complies with the terms and conditions of this Agreement;&#xA;and&#xA;b) its license agreement:&#xA;i) effectively disclaims on behalf of all Contributors all warranties&#xA;and conditions, express and implied, including warranties or&#xA;conditions of title and non-infringement, and implied warranties&#xA;or conditions of merchantability and fitness for a particular&#xA;purpose;&#xA;ii) effectively excludes on behalf of all Contributors all liability&#xA;for damages, including direct, indirect, special, incidental&#xA;and consequential damages, such as lost profits;&#xA;iii) states that any provisions which differ from this Agreement&#xA;are offered by that Contributor alone and not by any other party;&#xA;and&#xA;iv) states that source code for the Program is available from&#xA;such Contributor, and informs licensees how to obtain it in a&#xA;reasonable manner on or through a medium customarily used for&#xA;software exchange.&#xA;When the Program is made available in source code form:&#xA;a) it must be made available under this Agreement; and&#xA;b) a copy of this Agreement must be included with each copy of&#xA;the Program.&#xA;Contributors may not remove or alter any copyright notices contained&#xA;within the Program.&#xA;Each Contributor must identify itself as the originator of its&#xA;Contribution, if any, in a manner that reasonably allows subsequent&#xA;Recipients to identify the originator of the Contribution.&#xA;4. COMMERCIAL DISTRIBUTION&#xA;Commercial distributors of software may accept certain responsibilities&#xA;with respect to end users, business partners and the like. While&#xA;this license is intended to facilitate the commercial use of&#xA;the Program, the Contributor who includes the Program in a commercial&#xA;product offering should do so in a manner which does not create&#xA;potential liability for other Contributors. Therefore, if a Contributor&#xA;includes the Program in a commercial product offering, such Contributor&#xA;(&quot;Commercial Contributor&quot;) hereby agrees to defend and indemnify&#xA;every other Contributor (&quot;Indemnified Contributor&quot;) against any&#xA;losses, damages and costs (collectively &quot;Losses&quot;) arising from&#xA;claims, lawsuits and other legal actions brought by a third party&#xA;against the Indemnified Contributor to the extent caused by the&#xA;acts or omissions of such Commercial Contributor in connection&#xA;with its distribution of the Program in a commercial product&#xA;offering. The obligations in this section do not apply to any&#xA;claims or Losses relating to any actual or alleged intellectual&#xA;property infringement. In order to qualify, an Indemnified Contributor&#xA;must: a) promptly notify the Commercial Contributor in writing&#xA;of such claim, and b) allow the Commercial Contributor to control,&#xA;and cooperate with the Commercial Contributor in, the defense&#xA;and any related settlement negotiations. The Indemnified Contributor&#xA;may participate in any such claim at its own expense.&#xA;For example, a Contributor might include the Program in a commercial&#xA;product offering, Product X. That Contributor is then a Commercial&#xA;Contributor. If that Commercial Contributor then makes performance&#xA;claims, or offers warranties related to Product X, those performance&#xA;claims and warranties are such Commercial Contributor&apos;s responsibility&#xA;alone. Under this section, the Commercial Contributor would have&#xA;to defend claims against the other Contributors related to those&#xA;performance claims and warranties, and if a court requires any&#xA;other Contributor to pay any damages as a result, the Commercial&#xA;Contributor must pay those damages.&#xA;5. NO WARRANTY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM&#xA;IS PROVIDED ON AN &quot;AS IS&quot; BASIS, WITHOUT WARRANTIES OR CONDITIONS&#xA;OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION,&#xA;ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY&#xA;OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely&#xA;responsible for determining the appropriateness of using and&#xA;distributing the Program and assumes all risks associated with&#xA;its exercise of rights under this Agreement , including but not&#xA;limited to the risks and costs of program errors, compliance&#xA;with applicable laws, damage to or loss of data, programs or&#xA;equipment, and unavailability or interruption of operations.&#xA;6. DISCLAIMER OF LIABILITY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT&#xA;NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT,&#xA;INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES&#xA;(INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND&#xA;ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,&#xA;OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY&#xA;OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE&#xA;OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY&#xA;OF SUCH DAMAGES.&#xA;7. GENERAL&#xA;If any provision of this Agreement is invalid or unenforceable&#xA;under applicable law, it shall not affect the validity or enforceability&#xA;of the remainder of the terms of this Agreement, and without&#xA;further action by the parties hereto, such provision shall be&#xA;reformed to the minimum extent necessary to make such provision&#xA;valid and enforceable.&#xA;If Recipient institutes patent litigation against any entity&#xA;(including a cross-claim or counterclaim in a lawsuit) alleging&#xA;that the Program itself (excluding combinations of the Program&#xA;with other software or hardware) infringes such Recipient&apos;s patent(s),&#xA;then such Recipient&apos;s rights granted under Section 2(b) shall&#xA;terminate as of the date such litigation is filed.&#xA;All Recipient&apos;s rights under this Agreement shall terminate if&#xA;it fails to comply with any of the material terms or conditions&#xA;of this Agreement and does not cure such failure in a reasonable&#xA;period of time after becoming aware of such noncompliance. If&#xA;all Recipient&apos;s rights under this Agreement terminate, Recipient&#xA;agrees to cease use and distribution of the Program as soon as&#xA;reasonably practicable. However, Recipient&apos;s obligations under&#xA;this Agreement and any licenses granted by Recipient relating&#xA;to the Program shall continue and survive.&#xA;Everyone is permitted to copy and distribute copies of this Agreement,&#xA;but in order to avoid inconsistency the Agreement is copyrighted&#xA;and may only be modified in the following manner. The Agreement&#xA;Steward reserves the right to publish new versions (including&#xA;revisions) of this Agreement from time to time. No one other&#xA;than the Agreement Steward has the right to modify this Agreement.&#xA;The Eclipse Foundation is the initial Agreement Steward. The&#xA;Eclipse Foundation may assign the responsibility to serve as&#xA;the Agreement Steward to a suitable separate entity. Each new&#xA;version of the Agreement will be given a distinguishing version&#xA;number. The Program (including Contributions) may always be distributed&#xA;subject to the version of the Agreement under which it was received.&#xA;In addition, after a new version of the Agreement is published,&#xA;Contributor may elect to distribute the Program (including its&#xA;Contributions) under the new version. Except as expressly stated&#xA;in Sections 2(a) and 2(b) above, Recipient receives no rights&#xA;or licenses to the intellectual property of any Contributor under&#xA;this Agreement, whether expressly, by implication, estoppel or&#xA;otherwise. All rights in the Program not expressly granted under&#xA;this Agreement are reserved.&#xA;This Agreement is governed by the laws of the State of New York&#xA;and the intellectual property laws of the United States of America.&#xA;No party to this Agreement will bring a legal action under this&#xA;Agreement more than one year after the cause of action arose.&#xA;Each party waives its rights to a jury trial in any resulting&#xA;litigation.
        </license>
      </licenses>
      <copyright>
        (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
      </copyright>
    </unit>
    <unit id='de.prob.eventb.disprover.ui' version='2.2.1.202508121324' generation='2'>
      <update id='de.prob.eventb.disprover.ui' range='[0.0.0,2.2.1.202508121324)' severity='0'/>
      <properties size='7'>
        <property name='org.eclipse.equinox.p2.name' value='ProB Disprover UI for Event-B'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.equinox.p2.bundle.localization' value='plugin'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.eventb.disprover.ui'/>
        <property name='maven-version' value='2.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
      </properties>
      <provides size='4'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob.eventb.disprover.ui' version='2.2.1.202508121324'/>
        <provided namespace='osgi.bundle' name='de.prob.eventb.disprover.ui' version='2.2.1.202508121324'/>
        <provided namespace='osgi.identity' name='de.prob.eventb.disprover.ui' version='2.2.1.202508121324'>
          <properties size='1'>
            <property name='type' value='osgi.bundle'/>
          </properties>
        </provided>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='bundle' version='1.0.0'/>
      </provides>
      <requires size='13'>
        <required namespace='osgi.bundle' name='de.prob.core' range='[9.6.1,9.7.0)'/>
        <required namespace='osgi.bundle' name='de.prob.eventb.disprover.core' range='[2.2.1,2.3.0)'/>
        <required namespace='osgi.bundle' name='de.prob.ui' range='[7.6.1,7.7.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.runtime' range='[3.20.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.osgi' range='[3.16.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.ui' range='[3.118.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core.ast' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core.seqprover' range='[3.4.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.ui' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.rodinp.core' range='[1.9.0,2.0.0)'/>
        <requiredProperties namespace='osgi.ee' match='(&amp;(osgi.ee=JavaSE)(version=11))'>
          <description>
            de.prob.eventb.disprover.ui
          </description>
        </requiredProperties>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.eventb.disprover.ui.source' range='[2.2.1.202508121324,2.2.1.202508121324]' optional='true'>
          <filter>
            (org.eclipse.update.install.sources=true)
          </filter>
        </required>
      </requires>
      <artifacts size='1'>
        <artifact classifier='osgi.bundle' id='de.prob.eventb.disprover.ui' version='2.2.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='1'>
          <instruction key='manifest'>
            Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true&#xA;Bundle-Version: 2.2.1.202508121324
          </instruction>
        </instructions>
      </touchpointData>
    </unit>
    <unit id='de.prob2.symbolic.feature.feature.jar' version='3.2.1.202508121324'>
      <properties size='9'>
        <property name='org.eclipse.equinox.p2.name' value='ProB for Rodin - Symbolic Constants Support'/>
        <property name='org.eclipse.equinox.p2.description' value='Allows marking constants as symbolic so that the ProB animator will not&#xA;evaluate them eagerly.&#xA;&#xA;ProB is an animator and model checker for the B-Method. It allows&#xA;fully automatic animation of many B specifications, and can be&#xA;used to systematically check a specification for errors.&#xA;Part of the research and development was conducted within the&#xA;EPSRC funded projects ABCD and iMoc, and within the EU funded&#xA;projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.&#xA;ProB has been successfully used on various industrial specifications&#xA;and is now being used within Siemens, Alstom, Thales.'/>
        <property name='org.eclipse.equinox.p2.description.url' value='https://prob.hhu.de/w/'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.update.feature.plugin' value='de.prob.symbolic'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob2.symbolic.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
      </properties>
      <provides size='3'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob2.symbolic.feature.feature.jar' version='3.2.1.202508121324'/>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='feature' version='1.0.0'/>
        <provided namespace='org.eclipse.update.feature' name='de.prob2.symbolic.feature' version='3.2.1.202508121324'/>
      </provides>
      <filter>
        (org.eclipse.update.install.features=true)
      </filter>
      <artifacts size='1'>
        <artifact classifier='org.eclipse.update.feature' id='de.prob2.symbolic.feature' version='3.2.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='1'>
          <instruction key='zipped'>
            true
          </instruction>
        </instructions>
      </touchpointData>
      <licenses size='1'>
        <license uri='http://www.eclipse.org/org/documents/epl-v10.html' url='http://www.eclipse.org/org/documents/epl-v10.html'>
          ProB can be used freely for commercial, non-commercial and academic&#xA;use under the Eclipse Public Licence v. 1.0. (below)&#xA;For availability of commercial support, please contact the author&#xA;(http://www.stups.uni-duesseldorf.de/~leuschel).&#xA;Use of ProB&apos;s nauty library for symmetry reduction implies further&#xA;restrictions (no applications with nontrivial military significance,&#xA;see http://cs.anu.edu.au/~bdm/nauty/).&#xA;---&#xA;Eclipse Public License - v. 1.0&#xA;THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS&#xA;ECLIPSE PUBLIC LICENSE (&quot;AGREEMENT&quot;). ANY USE, REPRODUCTION OR&#xA;DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT&apos;S ACCEPTANCE&#xA;OF THIS AGREEMENT.&#xA;1. DEFINITIONS&#xA;&quot;Contribution&quot; means:&#xA;a) in the case of the initial Contributor, the initial code and&#xA;documentation distributed under this Agreement, and&#xA;b) in the case of each subsequent Contributor:&#xA;i) changes to the Program, and&#xA;ii) additions to the Program;&#xA;where such changes and/or additions to the Program originate&#xA;from and are distributed by that particular Contributor. A Contribution&#xA;&apos;originates&apos; from a Contributor if it was added to the Program&#xA;by such Contributor itself or anyone acting on such Contributor&apos;s&#xA;behalf. Contributions do not include additions to the Program&#xA;which: (i) are separate modules of software distributed in conjunction&#xA;with the Program under their own license agreement, and (ii)&#xA;are not derivative works of the Program.&#xA;&quot;Contributor&quot; means any person or entity that distributes the&#xA;Program.&#xA;&quot;Licensed Patents&quot; mean patent claims licensable by a Contributor&#xA;which are necessarily infringed by the use or sale of its Contribution&#xA;alone or when combined with the Program.&#xA;&quot;Program&quot; means the Contributions distributed in accordance with&#xA;this Agreement.&#xA;&quot;Recipient&quot; means anyone who receives the Program under this&#xA;Agreement, including all Contributors.&#xA;2. GRANT OF RIGHTS&#xA;a) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free copyright&#xA;license to reproduce, prepare derivative works of, publicly display,&#xA;publicly perform, distribute and sublicense the Contribution&#xA;of such Contributor, if any, and such derivative works, in source&#xA;code and object code form.&#xA;b) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free patent&#xA;license under Licensed Patents to make, use, sell, offer to sell,&#xA;import and otherwise transfer the Contribution of such Contributor,&#xA;if any, in source code and object code form. This patent license&#xA;shall apply to the combination of the Contribution and the Program&#xA;if, at the time the Contribution is added by the Contributor,&#xA;such addition of the Contribution causes such combination to&#xA;be covered by the Licensed Patents. The patent license shall&#xA;not apply to any other combinations which include the Contribution.&#xA;No hardware per se is licensed hereunder.&#xA;c) Recipient understands that although each Contributor grants&#xA;the licenses to its Contributions set forth herein, no assurances&#xA;are provided by any Contributor that the Program does not infringe&#xA;the patent or other intellectual property rights of any other&#xA;entity. Each Contributor disclaims any liability to Recipient&#xA;for claims brought by any other entity based on infringement&#xA;of intellectual property rights or otherwise. As a condition&#xA;to exercising the rights and licenses granted hereunder, each&#xA;Recipient hereby assumes sole responsibility to secure any other&#xA;intellectual property rights needed, if any. For example, if&#xA;a third party patent license is required to allow Recipient to&#xA;distribute the Program, it is Recipient&apos;s responsibility to acquire&#xA;that license before distributing the Program.&#xA;d) Each Contributor represents that to its knowledge it has sufficient&#xA;copyright rights in its Contribution, if any, to grant the copyright&#xA;license set forth in this Agreement.&#xA;3. REQUIREMENTS&#xA;A Contributor may choose to distribute the Program in object&#xA;code form under its own license agreement, provided that:&#xA;a) it complies with the terms and conditions of this Agreement;&#xA;and&#xA;b) its license agreement:&#xA;i) effectively disclaims on behalf of all Contributors all warranties&#xA;and conditions, express and implied, including warranties or&#xA;conditions of title and non-infringement, and implied warranties&#xA;or conditions of merchantability and fitness for a particular&#xA;purpose;&#xA;ii) effectively excludes on behalf of all Contributors all liability&#xA;for damages, including direct, indirect, special, incidental&#xA;and consequential damages, such as lost profits;&#xA;iii) states that any provisions which differ from this Agreement&#xA;are offered by that Contributor alone and not by any other party;&#xA;and&#xA;iv) states that source code for the Program is available from&#xA;such Contributor, and informs licensees how to obtain it in a&#xA;reasonable manner on or through a medium customarily used for&#xA;software exchange.&#xA;When the Program is made available in source code form:&#xA;a) it must be made available under this Agreement; and&#xA;b) a copy of this Agreement must be included with each copy of&#xA;the Program.&#xA;Contributors may not remove or alter any copyright notices contained&#xA;within the Program.&#xA;Each Contributor must identify itself as the originator of its&#xA;Contribution, if any, in a manner that reasonably allows subsequent&#xA;Recipients to identify the originator of the Contribution.&#xA;4. COMMERCIAL DISTRIBUTION&#xA;Commercial distributors of software may accept certain responsibilities&#xA;with respect to end users, business partners and the like. While&#xA;this license is intended to facilitate the commercial use of&#xA;the Program, the Contributor who includes the Program in a commercial&#xA;product offering should do so in a manner which does not create&#xA;potential liability for other Contributors. Therefore, if a Contributor&#xA;includes the Program in a commercial product offering, such Contributor&#xA;(&quot;Commercial Contributor&quot;) hereby agrees to defend and indemnify&#xA;every other Contributor (&quot;Indemnified Contributor&quot;) against any&#xA;losses, damages and costs (collectively &quot;Losses&quot;) arising from&#xA;claims, lawsuits and other legal actions brought by a third party&#xA;against the Indemnified Contributor to the extent caused by the&#xA;acts or omissions of such Commercial Contributor in connection&#xA;with its distribution of the Program in a commercial product&#xA;offering. The obligations in this section do not apply to any&#xA;claims or Losses relating to any actual or alleged intellectual&#xA;property infringement. In order to qualify, an Indemnified Contributor&#xA;must: a) promptly notify the Commercial Contributor in writing&#xA;of such claim, and b) allow the Commercial Contributor to control,&#xA;and cooperate with the Commercial Contributor in, the defense&#xA;and any related settlement negotiations. The Indemnified Contributor&#xA;may participate in any such claim at its own expense.&#xA;For example, a Contributor might include the Program in a commercial&#xA;product offering, Product X. That Contributor is then a Commercial&#xA;Contributor. If that Commercial Contributor then makes performance&#xA;claims, or offers warranties related to Product X, those performance&#xA;claims and warranties are such Commercial Contributor&apos;s responsibility&#xA;alone. Under this section, the Commercial Contributor would have&#xA;to defend claims against the other Contributors related to those&#xA;performance claims and warranties, and if a court requires any&#xA;other Contributor to pay any damages as a result, the Commercial&#xA;Contributor must pay those damages.&#xA;5. NO WARRANTY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM&#xA;IS PROVIDED ON AN &quot;AS IS&quot; BASIS, WITHOUT WARRANTIES OR CONDITIONS&#xA;OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION,&#xA;ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY&#xA;OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely&#xA;responsible for determining the appropriateness of using and&#xA;distributing the Program and assumes all risks associated with&#xA;its exercise of rights under this Agreement , including but not&#xA;limited to the risks and costs of program errors, compliance&#xA;with applicable laws, damage to or loss of data, programs or&#xA;equipment, and unavailability or interruption of operations.&#xA;6. DISCLAIMER OF LIABILITY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT&#xA;NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT,&#xA;INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES&#xA;(INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND&#xA;ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,&#xA;OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY&#xA;OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE&#xA;OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY&#xA;OF SUCH DAMAGES.&#xA;7. GENERAL&#xA;If any provision of this Agreement is invalid or unenforceable&#xA;under applicable law, it shall not affect the validity or enforceability&#xA;of the remainder of the terms of this Agreement, and without&#xA;further action by the parties hereto, such provision shall be&#xA;reformed to the minimum extent necessary to make such provision&#xA;valid and enforceable.&#xA;If Recipient institutes patent litigation against any entity&#xA;(including a cross-claim or counterclaim in a lawsuit) alleging&#xA;that the Program itself (excluding combinations of the Program&#xA;with other software or hardware) infringes such Recipient&apos;s patent(s),&#xA;then such Recipient&apos;s rights granted under Section 2(b) shall&#xA;terminate as of the date such litigation is filed.&#xA;All Recipient&apos;s rights under this Agreement shall terminate if&#xA;it fails to comply with any of the material terms or conditions&#xA;of this Agreement and does not cure such failure in a reasonable&#xA;period of time after becoming aware of such noncompliance. If&#xA;all Recipient&apos;s rights under this Agreement terminate, Recipient&#xA;agrees to cease use and distribution of the Program as soon as&#xA;reasonably practicable. However, Recipient&apos;s obligations under&#xA;this Agreement and any licenses granted by Recipient relating&#xA;to the Program shall continue and survive.&#xA;Everyone is permitted to copy and distribute copies of this Agreement,&#xA;but in order to avoid inconsistency the Agreement is copyrighted&#xA;and may only be modified in the following manner. The Agreement&#xA;Steward reserves the right to publish new versions (including&#xA;revisions) of this Agreement from time to time. No one other&#xA;than the Agreement Steward has the right to modify this Agreement.&#xA;The Eclipse Foundation is the initial Agreement Steward. The&#xA;Eclipse Foundation may assign the responsibility to serve as&#xA;the Agreement Steward to a suitable separate entity. Each new&#xA;version of the Agreement will be given a distinguishing version&#xA;number. The Program (including Contributions) may always be distributed&#xA;subject to the version of the Agreement under which it was received.&#xA;In addition, after a new version of the Agreement is published,&#xA;Contributor may elect to distribute the Program (including its&#xA;Contributions) under the new version. Except as expressly stated&#xA;in Sections 2(a) and 2(b) above, Recipient receives no rights&#xA;or licenses to the intellectual property of any Contributor under&#xA;this Agreement, whether expressly, by implication, estoppel or&#xA;otherwise. All rights in the Program not expressly granted under&#xA;this Agreement are reserved.&#xA;This Agreement is governed by the laws of the State of New York&#xA;and the intellectual property laws of the United States of America.&#xA;No party to this Agreement will bring a legal action under this&#xA;Agreement more than one year after the cause of action arose.&#xA;Each party waives its rights to a jury trial in any resulting&#xA;litigation.
        </license>
      </licenses>
      <copyright>
        (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
      </copyright>
    </unit>
    <unit id='de.bmotionstudio.feature.feature.group' version='3.2.1.202508121324' singleton='false'>
      <update id='de.bmotionstudio.feature.feature.group' range='[0.0.0,3.2.1.202508121324)' severity='0'/>
      <properties size='9'>
        <property name='org.eclipse.equinox.p2.name' value='ProB for Rodin - BMotion Studio'/>
        <property name='org.eclipse.equinox.p2.description' value='The BMotion Studio interactive visualization tool based on the ProB animator.&#xA;Warning: Development of BMotion Studio has ended in 2013.&#xA;This plug-in is maintained on a best-effort basis and not actively tested.&#xA;&#xA;ProB is an animator and model checker for the B-Method. It allows&#xA;fully automatic animation of many B specifications, and can be&#xA;used to systematically check a specification for errors.&#xA;Part of the research and development was conducted within the&#xA;EPSRC funded projects ABCD and iMoc, and within the EU funded&#xA;projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.&#xA;ProB has been successfully used on various industrial specifications&#xA;and is now being used within Siemens, Alstom, Thales.'/>
        <property name='org.eclipse.equinox.p2.description.url' value='https://prob.hhu.de/w/'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.equinox.p2.type.group' value='true'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.bmotionstudio.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
      </properties>
      <provides size='1'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.bmotionstudio.feature.feature.group' version='3.2.1.202508121324'/>
      </provides>
      <requires size='18'>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.core' range='[9.6.1,9.7.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.ui' range='[7.6.1,7.7.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.databinding' range='[1.10.0,2.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.databinding.beans' range='[1.7.0,2.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.databinding.property' range='[1.7.0,2.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.resources' range='[3.13.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.runtime' range='[3.20.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.gef' range='[3.11.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.jface.databinding' range='[1.12.0,2.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.ui' range='[3.118.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.ui.ide' range='[3.18.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.ui.navigator' range='[3.9.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.ui.views' range='[3.10.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.core' range='[3.5.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.core.ast' range='[3.5.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.rodinp.core' range='[1.9.0,2.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.bmotionstudio.gef.editor' range='[5.7.1.202508121324,5.7.1.202508121324]'/>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.bmotionstudio.feature.feature.jar' range='[3.2.1.202508121324,3.2.1.202508121324]'>
          <filter>
            (org.eclipse.update.install.features=true)
          </filter>
        </required>
      </requires>
      <touchpoint id='null' version='0.0.0'/>
      <licenses size='1'>
        <license uri='http://www.eclipse.org/org/documents/epl-v10.html' url='http://www.eclipse.org/org/documents/epl-v10.html'>
          ProB can be used freely for commercial, non-commercial and academic&#xA;use under the Eclipse Public Licence v. 1.0. (below) &#xA;For availability of commercial support, please contact the author&#xA;(http://www.stups.uni-duesseldorf.de/~leuschel). &#xA;Use of ProB&apos;s nauty library for symmetry reduction implies further&#xA;restrictions (no applications with nontrivial military significance,&#xA;see http://cs.anu.edu.au/~bdm/nauty/).&#xA;--- &#xA;Eclipse Public License - v. 1.0&#xA;THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS&#xA;ECLIPSE PUBLIC LICENSE (&quot;AGREEMENT&quot;). ANY USE, REPRODUCTION OR&#xA;DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT&apos;S ACCEPTANCE&#xA;OF THIS AGREEMENT.&#xA;1. DEFINITIONS&#xA;&quot;Contribution&quot; means:&#xA;a) in the case of the initial Contributor, the initial code and&#xA;documentation distributed under this Agreement, and&#xA;b) in the case of each subsequent Contributor:&#xA;i) changes to the Program, and&#xA;ii) additions to the Program;&#xA;where such changes and/or additions to the Program originate&#xA;from and are distributed by that particular Contributor. A Contribution&#xA;&apos;originates&apos; from a Contributor if it was added to the Program&#xA;by such Contributor itself or anyone acting on such Contributor&apos;s&#xA;behalf. Contributions do not include additions to the Program&#xA;which: (i) are separate modules of software distributed in conjunction&#xA;with the Program under their own license agreement, and (ii)&#xA;are not derivative works of the Program.&#xA;&quot;Contributor&quot; means any person or entity that distributes the&#xA;Program.&#xA;&quot;Licensed Patents&quot; mean patent claims licensable by a Contributor&#xA;which are necessarily infringed by the use or sale of its Contribution&#xA;alone or when combined with the Program.&#xA;&quot;Program&quot; means the Contributions distributed in accordance with&#xA;this Agreement.&#xA;&quot;Recipient&quot; means anyone who receives the Program under this&#xA;Agreement, including all Contributors.&#xA;2. GRANT OF RIGHTS&#xA;a) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free copyright&#xA;license to reproduce, prepare derivative works of, publicly display,&#xA;publicly perform, distribute and sublicense the Contribution&#xA;of such Contributor, if any, and such derivative works, in source&#xA;code and object code form.&#xA;b) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free patent&#xA;license under Licensed Patents to make, use, sell, offer to sell,&#xA;import and otherwise transfer the Contribution of such Contributor,&#xA;if any, in source code and object code form. This patent license&#xA;shall apply to the combination of the Contribution and the Program&#xA;if, at the time the Contribution is added by the Contributor,&#xA;such addition of the Contribution causes such combination to&#xA;be covered by the Licensed Patents. The patent license shall&#xA;not apply to any other combinations which include the Contribution.&#xA;No hardware per se is licensed hereunder.&#xA;c) Recipient understands that although each Contributor grants&#xA;the licenses to its Contributions set forth herein, no assurances&#xA;are provided by any Contributor that the Program does not infringe&#xA;the patent or other intellectual property rights of any other&#xA;entity. Each Contributor disclaims any liability to Recipient&#xA;for claims brought by any other entity based on infringement&#xA;of intellectual property rights or otherwise. As a condition&#xA;to exercising the rights and licenses granted hereunder, each&#xA;Recipient hereby assumes sole responsibility to secure any other&#xA;intellectual property rights needed, if any. For example, if&#xA;a third party patent license is required to allow Recipient to&#xA;distribute the Program, it is Recipient&apos;s responsibility to acquire&#xA;that license before distributing the Program.&#xA;d) Each Contributor represents that to its knowledge it has sufficient&#xA;copyright rights in its Contribution, if any, to grant the copyright&#xA;license set forth in this Agreement.&#xA;3. REQUIREMENTS&#xA;A Contributor may choose to distribute the Program in object&#xA;code form under its own license agreement, provided that:&#xA;a) it complies with the terms and conditions of this Agreement;&#xA;and&#xA;b) its license agreement:&#xA;i) effectively disclaims on behalf of all Contributors all warranties&#xA;and conditions, express and implied, including warranties or&#xA;conditions of title and non-infringement, and implied warranties&#xA;or conditions of merchantability and fitness for a particular&#xA;purpose;&#xA;ii) effectively excludes on behalf of all Contributors all liability&#xA;for damages, including direct, indirect, special, incidental&#xA;and consequential damages, such as lost profits;&#xA;iii) states that any provisions which differ from this Agreement&#xA;are offered by that Contributor alone and not by any other party;&#xA;and&#xA;iv) states that source code for the Program is available from&#xA;such Contributor, and informs licensees how to obtain it in a&#xA;reasonable manner on or through a medium customarily used for&#xA;software exchange.&#xA;When the Program is made available in source code form:&#xA;a) it must be made available under this Agreement; and&#xA;b) a copy of this Agreement must be included with each copy of&#xA;the Program.&#xA;Contributors may not remove or alter any copyright notices contained&#xA;within the Program.&#xA;Each Contributor must identify itself as the originator of its&#xA;Contribution, if any, in a manner that reasonably allows subsequent&#xA;Recipients to identify the originator of the Contribution.&#xA;4. COMMERCIAL DISTRIBUTION&#xA;Commercial distributors of software may accept certain responsibilities&#xA;with respect to end users, business partners and the like. While&#xA;this license is intended to facilitate the commercial use of&#xA;the Program, the Contributor who includes the Program in a commercial&#xA;product offering should do so in a manner which does not create&#xA;potential liability for other Contributors. Therefore, if a Contributor&#xA;includes the Program in a commercial product offering, such Contributor&#xA;(&quot;Commercial Contributor&quot;) hereby agrees to defend and indemnify&#xA;every other Contributor (&quot;Indemnified Contributor&quot;) against any&#xA;losses, damages and costs (collectively &quot;Losses&quot;) arising from&#xA;claims, lawsuits and other legal actions brought by a third party&#xA;against the Indemnified Contributor to the extent caused by the&#xA;acts or omissions of such Commercial Contributor in connection&#xA;with its distribution of the Program in a commercial product&#xA;offering. The obligations in this section do not apply to any&#xA;claims or Losses relating to any actual or alleged intellectual&#xA;property infringement. In order to qualify, an Indemnified Contributor&#xA;must: a) promptly notify the Commercial Contributor in writing&#xA;of such claim, and b) allow the Commercial Contributor to control,&#xA;and cooperate with the Commercial Contributor in, the defense&#xA;and any related settlement negotiations. The Indemnified Contributor&#xA;may participate in any such claim at its own expense.&#xA;For example, a Contributor might include the Program in a commercial&#xA;product offering, Product X. That Contributor is then a Commercial&#xA;Contributor. If that Commercial Contributor then makes performance&#xA;claims, or offers warranties related to Product X, those performance&#xA;claims and warranties are such Commercial Contributor&apos;s responsibility&#xA;alone. Under this section, the Commercial Contributor would have&#xA;to defend claims against the other Contributors related to those&#xA;performance claims and warranties, and if a court requires any&#xA;other Contributor to pay any damages as a result, the Commercial&#xA;Contributor must pay those damages.&#xA;5. NO WARRANTY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM&#xA;IS PROVIDED ON AN &quot;AS IS&quot; BASIS, WITHOUT WARRANTIES OR CONDITIONS&#xA;OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION,&#xA;ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY&#xA;OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely&#xA;responsible for determining the appropriateness of using and&#xA;distributing the Program and assumes all risks associated with&#xA;its exercise of rights under this Agreement , including but not&#xA;limited to the risks and costs of program errors, compliance&#xA;with applicable laws, damage to or loss of data, programs or&#xA;equipment, and unavailability or interruption of operations.&#xA;6. DISCLAIMER OF LIABILITY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT&#xA;NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT,&#xA;INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES&#xA;(INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND&#xA;ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,&#xA;OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY&#xA;OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE&#xA;OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY&#xA;OF SUCH DAMAGES.&#xA;7. GENERAL&#xA;If any provision of this Agreement is invalid or unenforceable&#xA;under applicable law, it shall not affect the validity or enforceability&#xA;of the remainder of the terms of this Agreement, and without&#xA;further action by the parties hereto, such provision shall be&#xA;reformed to the minimum extent necessary to make such provision&#xA;valid and enforceable.&#xA;If Recipient institutes patent litigation against any entity&#xA;(including a cross-claim or counterclaim in a lawsuit) alleging&#xA;that the Program itself (excluding combinations of the Program&#xA;with other software or hardware) infringes such Recipient&apos;s patent(s),&#xA;then such Recipient&apos;s rights granted under Section 2(b) shall&#xA;terminate as of the date such litigation is filed.&#xA;All Recipient&apos;s rights under this Agreement shall terminate if&#xA;it fails to comply with any of the material terms or conditions&#xA;of this Agreement and does not cure such failure in a reasonable&#xA;period of time after becoming aware of such noncompliance. If&#xA;all Recipient&apos;s rights under this Agreement terminate, Recipient&#xA;agrees to cease use and distribution of the Program as soon as&#xA;reasonably practicable. However, Recipient&apos;s obligations under&#xA;this Agreement and any licenses granted by Recipient relating&#xA;to the Program shall continue and survive.&#xA;Everyone is permitted to copy and distribute copies of this Agreement,&#xA;but in order to avoid inconsistency the Agreement is copyrighted&#xA;and may only be modified in the following manner. The Agreement&#xA;Steward reserves the right to publish new versions (including&#xA;revisions) of this Agreement from time to time. No one other&#xA;than the Agreement Steward has the right to modify this Agreement.&#xA;The Eclipse Foundation is the initial Agreement Steward. The&#xA;Eclipse Foundation may assign the responsibility to serve as&#xA;the Agreement Steward to a suitable separate entity. Each new&#xA;version of the Agreement will be given a distinguishing version&#xA;number. The Program (including Contributions) may always be distributed&#xA;subject to the version of the Agreement under which it was received.&#xA;In addition, after a new version of the Agreement is published,&#xA;Contributor may elect to distribute the Program (including its&#xA;Contributions) under the new version. Except as expressly stated&#xA;in Sections 2(a) and 2(b) above, Recipient receives no rights&#xA;or licenses to the intellectual property of any Contributor under&#xA;this Agreement, whether expressly, by implication, estoppel or&#xA;otherwise. All rights in the Program not expressly granted under&#xA;this Agreement are reserved.&#xA;This Agreement is governed by the laws of the State of New York&#xA;and the intellectual property laws of the United States of America.&#xA;No party to this Agreement will bring a legal action under this&#xA;Agreement more than one year after the cause of action arose.&#xA;Each party waives its rights to a jury trial in any resulting&#xA;litigation.
        </license>
      </licenses>
      <copyright>
        (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
      </copyright>
    </unit>
    <unit id='de.prob2.symbolic.feature.feature.group' version='3.2.1.202508121324' singleton='false'>
      <update id='de.prob2.symbolic.feature.feature.group' range='[0.0.0,3.2.1.202508121324)' severity='0'/>
      <properties size='9'>
        <property name='org.eclipse.equinox.p2.name' value='ProB for Rodin - Symbolic Constants Support'/>
        <property name='org.eclipse.equinox.p2.description' value='Allows marking constants as symbolic so that the ProB animator will not&#xA;evaluate them eagerly.&#xA;&#xA;ProB is an animator and model checker for the B-Method. It allows&#xA;fully automatic animation of many B specifications, and can be&#xA;used to systematically check a specification for errors.&#xA;Part of the research and development was conducted within the&#xA;EPSRC funded projects ABCD and iMoc, and within the EU funded&#xA;projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.&#xA;ProB has been successfully used on various industrial specifications&#xA;and is now being used within Siemens, Alstom, Thales.'/>
        <property name='org.eclipse.equinox.p2.description.url' value='https://prob.hhu.de/w/'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='org.eclipse.equinox.p2.type.group' value='true'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob2.symbolic.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
      </properties>
      <provides size='1'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob2.symbolic.feature.feature.group' version='3.2.1.202508121324'/>
      </provides>
      <requires size='7'>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.core.runtime' range='[3.20.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eclipse.ui' range='[3.118.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.core' range='[3.5.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.eventb.ui' range='[3.5.0,4.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='org.rodinp.core' range='[1.9.0,2.0.0)'>
          <filter>
            (!(org.eclipse.equinox.p2.exclude.import=true))
          </filter>
        </required>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.symbolic' range='[7.6.1.202508121324,7.6.1.202508121324]'/>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob2.symbolic.feature.feature.jar' range='[3.2.1.202508121324,3.2.1.202508121324]'>
          <filter>
            (org.eclipse.update.install.features=true)
          </filter>
        </required>
      </requires>
      <touchpoint id='null' version='0.0.0'/>
      <licenses size='1'>
        <license uri='http://www.eclipse.org/org/documents/epl-v10.html' url='http://www.eclipse.org/org/documents/epl-v10.html'>
          ProB can be used freely for commercial, non-commercial and academic&#xA;use under the Eclipse Public Licence v. 1.0. (below)&#xA;For availability of commercial support, please contact the author&#xA;(http://www.stups.uni-duesseldorf.de/~leuschel).&#xA;Use of ProB&apos;s nauty library for symmetry reduction implies further&#xA;restrictions (no applications with nontrivial military significance,&#xA;see http://cs.anu.edu.au/~bdm/nauty/).&#xA;---&#xA;Eclipse Public License - v. 1.0&#xA;THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS&#xA;ECLIPSE PUBLIC LICENSE (&quot;AGREEMENT&quot;). ANY USE, REPRODUCTION OR&#xA;DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT&apos;S ACCEPTANCE&#xA;OF THIS AGREEMENT.&#xA;1. DEFINITIONS&#xA;&quot;Contribution&quot; means:&#xA;a) in the case of the initial Contributor, the initial code and&#xA;documentation distributed under this Agreement, and&#xA;b) in the case of each subsequent Contributor:&#xA;i) changes to the Program, and&#xA;ii) additions to the Program;&#xA;where such changes and/or additions to the Program originate&#xA;from and are distributed by that particular Contributor. A Contribution&#xA;&apos;originates&apos; from a Contributor if it was added to the Program&#xA;by such Contributor itself or anyone acting on such Contributor&apos;s&#xA;behalf. Contributions do not include additions to the Program&#xA;which: (i) are separate modules of software distributed in conjunction&#xA;with the Program under their own license agreement, and (ii)&#xA;are not derivative works of the Program.&#xA;&quot;Contributor&quot; means any person or entity that distributes the&#xA;Program.&#xA;&quot;Licensed Patents&quot; mean patent claims licensable by a Contributor&#xA;which are necessarily infringed by the use or sale of its Contribution&#xA;alone or when combined with the Program.&#xA;&quot;Program&quot; means the Contributions distributed in accordance with&#xA;this Agreement.&#xA;&quot;Recipient&quot; means anyone who receives the Program under this&#xA;Agreement, including all Contributors.&#xA;2. GRANT OF RIGHTS&#xA;a) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free copyright&#xA;license to reproduce, prepare derivative works of, publicly display,&#xA;publicly perform, distribute and sublicense the Contribution&#xA;of such Contributor, if any, and such derivative works, in source&#xA;code and object code form.&#xA;b) Subject to the terms of this Agreement, each Contributor hereby&#xA;grants Recipient a non-exclusive, worldwide, royalty-free patent&#xA;license under Licensed Patents to make, use, sell, offer to sell,&#xA;import and otherwise transfer the Contribution of such Contributor,&#xA;if any, in source code and object code form. This patent license&#xA;shall apply to the combination of the Contribution and the Program&#xA;if, at the time the Contribution is added by the Contributor,&#xA;such addition of the Contribution causes such combination to&#xA;be covered by the Licensed Patents. The patent license shall&#xA;not apply to any other combinations which include the Contribution.&#xA;No hardware per se is licensed hereunder.&#xA;c) Recipient understands that although each Contributor grants&#xA;the licenses to its Contributions set forth herein, no assurances&#xA;are provided by any Contributor that the Program does not infringe&#xA;the patent or other intellectual property rights of any other&#xA;entity. Each Contributor disclaims any liability to Recipient&#xA;for claims brought by any other entity based on infringement&#xA;of intellectual property rights or otherwise. As a condition&#xA;to exercising the rights and licenses granted hereunder, each&#xA;Recipient hereby assumes sole responsibility to secure any other&#xA;intellectual property rights needed, if any. For example, if&#xA;a third party patent license is required to allow Recipient to&#xA;distribute the Program, it is Recipient&apos;s responsibility to acquire&#xA;that license before distributing the Program.&#xA;d) Each Contributor represents that to its knowledge it has sufficient&#xA;copyright rights in its Contribution, if any, to grant the copyright&#xA;license set forth in this Agreement.&#xA;3. REQUIREMENTS&#xA;A Contributor may choose to distribute the Program in object&#xA;code form under its own license agreement, provided that:&#xA;a) it complies with the terms and conditions of this Agreement;&#xA;and&#xA;b) its license agreement:&#xA;i) effectively disclaims on behalf of all Contributors all warranties&#xA;and conditions, express and implied, including warranties or&#xA;conditions of title and non-infringement, and implied warranties&#xA;or conditions of merchantability and fitness for a particular&#xA;purpose;&#xA;ii) effectively excludes on behalf of all Contributors all liability&#xA;for damages, including direct, indirect, special, incidental&#xA;and consequential damages, such as lost profits;&#xA;iii) states that any provisions which differ from this Agreement&#xA;are offered by that Contributor alone and not by any other party;&#xA;and&#xA;iv) states that source code for the Program is available from&#xA;such Contributor, and informs licensees how to obtain it in a&#xA;reasonable manner on or through a medium customarily used for&#xA;software exchange.&#xA;When the Program is made available in source code form:&#xA;a) it must be made available under this Agreement; and&#xA;b) a copy of this Agreement must be included with each copy of&#xA;the Program.&#xA;Contributors may not remove or alter any copyright notices contained&#xA;within the Program.&#xA;Each Contributor must identify itself as the originator of its&#xA;Contribution, if any, in a manner that reasonably allows subsequent&#xA;Recipients to identify the originator of the Contribution.&#xA;4. COMMERCIAL DISTRIBUTION&#xA;Commercial distributors of software may accept certain responsibilities&#xA;with respect to end users, business partners and the like. While&#xA;this license is intended to facilitate the commercial use of&#xA;the Program, the Contributor who includes the Program in a commercial&#xA;product offering should do so in a manner which does not create&#xA;potential liability for other Contributors. Therefore, if a Contributor&#xA;includes the Program in a commercial product offering, such Contributor&#xA;(&quot;Commercial Contributor&quot;) hereby agrees to defend and indemnify&#xA;every other Contributor (&quot;Indemnified Contributor&quot;) against any&#xA;losses, damages and costs (collectively &quot;Losses&quot;) arising from&#xA;claims, lawsuits and other legal actions brought by a third party&#xA;against the Indemnified Contributor to the extent caused by the&#xA;acts or omissions of such Commercial Contributor in connection&#xA;with its distribution of the Program in a commercial product&#xA;offering. The obligations in this section do not apply to any&#xA;claims or Losses relating to any actual or alleged intellectual&#xA;property infringement. In order to qualify, an Indemnified Contributor&#xA;must: a) promptly notify the Commercial Contributor in writing&#xA;of such claim, and b) allow the Commercial Contributor to control,&#xA;and cooperate with the Commercial Contributor in, the defense&#xA;and any related settlement negotiations. The Indemnified Contributor&#xA;may participate in any such claim at its own expense.&#xA;For example, a Contributor might include the Program in a commercial&#xA;product offering, Product X. That Contributor is then a Commercial&#xA;Contributor. If that Commercial Contributor then makes performance&#xA;claims, or offers warranties related to Product X, those performance&#xA;claims and warranties are such Commercial Contributor&apos;s responsibility&#xA;alone. Under this section, the Commercial Contributor would have&#xA;to defend claims against the other Contributors related to those&#xA;performance claims and warranties, and if a court requires any&#xA;other Contributor to pay any damages as a result, the Commercial&#xA;Contributor must pay those damages.&#xA;5. NO WARRANTY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM&#xA;IS PROVIDED ON AN &quot;AS IS&quot; BASIS, WITHOUT WARRANTIES OR CONDITIONS&#xA;OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION,&#xA;ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY&#xA;OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely&#xA;responsible for determining the appropriateness of using and&#xA;distributing the Program and assumes all risks associated with&#xA;its exercise of rights under this Agreement , including but not&#xA;limited to the risks and costs of program errors, compliance&#xA;with applicable laws, damage to or loss of data, programs or&#xA;equipment, and unavailability or interruption of operations.&#xA;6. DISCLAIMER OF LIABILITY&#xA;EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT&#xA;NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT,&#xA;INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES&#xA;(INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND&#xA;ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,&#xA;OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY&#xA;OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE&#xA;OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY&#xA;OF SUCH DAMAGES.&#xA;7. GENERAL&#xA;If any provision of this Agreement is invalid or unenforceable&#xA;under applicable law, it shall not affect the validity or enforceability&#xA;of the remainder of the terms of this Agreement, and without&#xA;further action by the parties hereto, such provision shall be&#xA;reformed to the minimum extent necessary to make such provision&#xA;valid and enforceable.&#xA;If Recipient institutes patent litigation against any entity&#xA;(including a cross-claim or counterclaim in a lawsuit) alleging&#xA;that the Program itself (excluding combinations of the Program&#xA;with other software or hardware) infringes such Recipient&apos;s patent(s),&#xA;then such Recipient&apos;s rights granted under Section 2(b) shall&#xA;terminate as of the date such litigation is filed.&#xA;All Recipient&apos;s rights under this Agreement shall terminate if&#xA;it fails to comply with any of the material terms or conditions&#xA;of this Agreement and does not cure such failure in a reasonable&#xA;period of time after becoming aware of such noncompliance. If&#xA;all Recipient&apos;s rights under this Agreement terminate, Recipient&#xA;agrees to cease use and distribution of the Program as soon as&#xA;reasonably practicable. However, Recipient&apos;s obligations under&#xA;this Agreement and any licenses granted by Recipient relating&#xA;to the Program shall continue and survive.&#xA;Everyone is permitted to copy and distribute copies of this Agreement,&#xA;but in order to avoid inconsistency the Agreement is copyrighted&#xA;and may only be modified in the following manner. The Agreement&#xA;Steward reserves the right to publish new versions (including&#xA;revisions) of this Agreement from time to time. No one other&#xA;than the Agreement Steward has the right to modify this Agreement.&#xA;The Eclipse Foundation is the initial Agreement Steward. The&#xA;Eclipse Foundation may assign the responsibility to serve as&#xA;the Agreement Steward to a suitable separate entity. Each new&#xA;version of the Agreement will be given a distinguishing version&#xA;number. The Program (including Contributions) may always be distributed&#xA;subject to the version of the Agreement under which it was received.&#xA;In addition, after a new version of the Agreement is published,&#xA;Contributor may elect to distribute the Program (including its&#xA;Contributions) under the new version. Except as expressly stated&#xA;in Sections 2(a) and 2(b) above, Recipient receives no rights&#xA;or licenses to the intellectual property of any Contributor under&#xA;this Agreement, whether expressly, by implication, estoppel or&#xA;otherwise. All rights in the Program not expressly granted under&#xA;this Agreement are reserved.&#xA;This Agreement is governed by the laws of the State of New York&#xA;and the intellectual property laws of the United States of America.&#xA;No party to this Agreement will bring a legal action under this&#xA;Agreement more than one year after the cause of action arose.&#xA;Each party waives its rights to a jury trial in any resulting&#xA;litigation.
        </license>
      </licenses>
      <copyright>
        (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
      </copyright>
    </unit>
    <unit id='a.jre.javase' version='17.0.0' singleton='false'>
      <provides size='256'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='a.jre.javase' version='17.0.0'/>
        <provided namespace='java.package' name='java.applet' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.image' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.crypto.dsig.dom' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.stream' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.table' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.desktop' version='0.0.0'/>
        <provided namespace='java.package' name='javax.imageio.plugins.jpeg' version='0.0.0'/>
        <provided namespace='java.package' name='javax.lang.model.type' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.zip' version='0.0.0'/>
        <provided namespace='java.package' name='java.security.cert' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.transform.dom' version='0.0.0'/>
        <provided namespace='java.package' name='java.nio.file' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.views' version='0.0.0'/>
        <provided namespace='java.package' name='java.time' version='0.0.0'/>
        <provided namespace='java.package' name='javax.security.auth.callback' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.stream.util' version='0.0.0'/>
        <provided namespace='java.package' name='javax.lang.model.element' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.bootstrap' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.nio.sctp' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.validation' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.dynalink.beans' version='0.0.0'/>
        <provided namespace='java.package' name='javax.imageio' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.text' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.jarsigner' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.net.httpserver' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.jdi.connect' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.events' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.text.html' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.plaf' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.datatransfer' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.jdi.event' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.dynalink' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.plaf.metal' version='0.0.0'/>
        <provided namespace='java.package' name='java.net.spi' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.logging' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.colorchooser' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.dynalink.support' version='0.0.0'/>
        <provided namespace='java.package' name='javax.security.auth.x500' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.stream' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.jshell.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.lang.model' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang.annotation' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.jfr' version='0.0.0'/>
        <provided namespace='java.package' name='javax.imageio.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.naming.directory' version='0.0.0'/>
        <provided namespace='java.package' name='java.time.chrono' version='0.0.0'/>
        <provided namespace='java.package' name='javax.management.loading' version='0.0.0'/>
        <provided namespace='java.package' name='javax.security.auth' version='0.0.0'/>
        <provided namespace='java.package' name='java.math' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.geom' version='0.0.0'/>
        <provided namespace='java.package' name='javax.transaction.xa' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.transform.stax' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.traversal' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.swing.interop' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt' version='0.0.0'/>
        <provided namespace='java.package' name='java.text' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.undo' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.management' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.transform.stream' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.datatype' version='0.0.0'/>
        <provided namespace='java.package' name='javax.print' version='0.0.0'/>
        <provided namespace='java.package' name='javax.security.auth.login' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.html' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.security.auth.login' version='0.0.0'/>
        <provided namespace='java.package' name='java.rmi' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.jdi.connect.spi' version='0.0.0'/>
        <provided namespace='java.package' name='java.beans' version='0.0.0'/>
        <provided namespace='java.package' name='javax.sql' version='0.0.0'/>
        <provided namespace='java.package' name='javax.print.event' version='0.0.0'/>
        <provided namespace='java.package' name='javax.imageio.metadata' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.prefs' version='0.0.0'/>
        <provided namespace='java.package' name='java.net' version='0.0.0'/>
        <provided namespace='java.package' name='javax.naming.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.imageio.plugins.bmp' version='0.0.0'/>
        <provided namespace='java.package' name='sun.misc' version='0.0.0'/>
        <provided namespace='java.package' name='java.time.format' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.concurrent' version='0.0.0'/>
        <provided namespace='java.package' name='javax.security.auth.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.sound.sampled' version='0.0.0'/>
        <provided namespace='java.package' name='java.rmi.server' version='0.0.0'/>
        <provided namespace='java.package' name='javax.sql.rowset.serial' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.parsers' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.plaf.synth' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.plaf.basic' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.tree' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.function' version='0.0.0'/>
        <provided namespace='java.package' name='javax.net' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.dynalink.linker' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.image.renderable' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.nio.file' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.ls' version='0.0.0'/>
        <provided namespace='java.package' name='javax.smartcardio' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.random' version='0.0.0'/>
        <provided namespace='java.package' name='javax.naming' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.dynalink.linker.support' version='0.0.0'/>
        <provided namespace='java.package' name='java.rmi.dgc' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.xpath' version='0.0.0'/>
        <provided namespace='java.package' name='javax.annotation.processing' version='0.0.0'/>
        <provided namespace='java.package' name='java.net.http' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang.invoke' version='0.0.0'/>
        <provided namespace='java.package' name='javax.security.cert' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.xpath' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.catalog' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.nio' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang.management' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.concurrent.atomic' version='0.0.0'/>
        <provided namespace='java.package' name='javax.rmi.ssl' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.event' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.color' version='0.0.0'/>
        <provided namespace='java.package' name='javax.management.openmbean' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.text.rtf' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.javadoc.doclet' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.print' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.crypto' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.plaf.multi' version='0.0.0'/>
        <provided namespace='java.package' name='java.nio.channels.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.imageio.event' version='0.0.0'/>
        <provided namespace='java.package' name='javax.net.ssl' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.stream.events' version='0.0.0'/>
        <provided namespace='java.package' name='java.rmi.registry' version='0.0.0'/>
        <provided namespace='java.package' name='javax.print.attribute' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.java.accessibility.util' version='0.0.0'/>
        <provided namespace='java.package' name='java.nio.file.attribute' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.management.jfr' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang.constant' version='0.0.0'/>
        <provided namespace='java.package' name='java.nio' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.jdi.request' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang.ref' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang.instrument' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.regex' version='0.0.0'/>
        <provided namespace='java.package' name='org.ietf.jgss' version='0.0.0'/>
        <provided namespace='java.package' name='javax.sound.midi.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.filechooser' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.crypto.dsig.spec' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang.reflect' version='0.0.0'/>
        <provided namespace='java.package' name='java.security' version='0.0.0'/>
        <provided namespace='java.package' name='org.xml.sax.helpers' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.tools.attach' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.jshell' version='0.0.0'/>
        <provided namespace='java.package' name='javax.naming.ldap.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.print.attribute.standard' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.jshell.tool' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.tools.jconsole' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.security.jarsigner' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.security.auth' version='0.0.0'/>
        <provided namespace='java.package' name='javax.security.auth.kerberos' version='0.0.0'/>
        <provided namespace='java.package' name='javax.crypto' version='0.0.0'/>
        <provided namespace='java.package' name='java.sql' version='0.0.0'/>
        <provided namespace='java.package' name='java.util' version='0.0.0'/>
        <provided namespace='java.package' name='java.time.temporal' version='0.0.0'/>
        <provided namespace='java.package' name='java.nio.channels' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.stylesheets' version='0.0.0'/>
        <provided namespace='java.package' name='java.nio.charset' version='0.0.0'/>
        <provided namespace='java.package' name='javax.sound.midi' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.net' version='0.0.0'/>
        <provided namespace='java.package' name='javax.imageio.stream' version='0.0.0'/>
        <provided namespace='java.package' name='javax.management.monitor' version='0.0.0'/>
        <provided namespace='java.package' name='org.xml.sax' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.source.doctree' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.net.httpserver.spi' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.dnd' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.jshell.execution' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.im' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.text.html.parser' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.transform' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.css' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.crypto.dsig' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.tools.javac' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.jdi' version='0.0.0'/>
        <provided namespace='java.package' name='java.nio.charset.spi' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.security.jgss' version='0.0.0'/>
        <provided namespace='java.package' name='java.text.spi' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.management.timer' version='0.0.0'/>
        <provided namespace='java.package' name='java.security.spec' version='0.0.0'/>
        <provided namespace='java.package' name='java.nio.file.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.crypto.dsig.keyinfo' version='0.0.0'/>
        <provided namespace='java.package' name='javax.accessibility' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.namespace' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.source.tree' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.font' version='0.0.0'/>
        <provided namespace='java.package' name='java.security.interfaces' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.tools.attach.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.management.relation' version='0.0.0'/>
        <provided namespace='java.package' name='javax.management.modelmbean' version='0.0.0'/>
        <provided namespace='java.package' name='javax.sound.sampled.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.transform.sax' version='0.0.0'/>
        <provided namespace='java.package' name='javax.management.remote.rmi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.naming.event' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.concurrent.locks' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.plaf.nimbus' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.nio.mapmode' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.event' version='0.0.0'/>
        <provided namespace='java.package' name='javax.sql.rowset.spi' version='0.0.0'/>
        <provided namespace='java.package' name='javax.swing.border' version='0.0.0'/>
        <provided namespace='java.package' name='jdk.jfr.consumer' version='0.0.0'/>
        <provided namespace='java.package' name='javax.imageio.plugins.tiff' version='0.0.0'/>
        <provided namespace='java.package' name='javax.management.remote' version='0.0.0'/>
        <provided namespace='java.package' name='org.xml.sax.ext' version='0.0.0'/>
        <provided namespace='java.package' name='sun.reflect' version='0.0.0'/>
        <provided namespace='java.package' name='javax.lang.model.util' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.security.auth.callback' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang.runtime' version='0.0.0'/>
        <provided namespace='java.package' name='javax.security.sasl' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.security.auth.module' version='0.0.0'/>
        <provided namespace='java.package' name='javax.xml.crypto.dom' version='0.0.0'/>
        <provided namespace='java.package' name='javax.naming.ldap' version='0.0.0'/>
        <provided namespace='java.package' name='java.time.zone' version='0.0.0'/>
        <provided namespace='java.package' name='netscape.javascript' version='0.0.0'/>
        <provided namespace='java.package' name='java.awt.im.spi' version='0.0.0'/>
        <provided namespace='java.package' name='java.beans.beancontext' version='0.0.0'/>
        <provided namespace='java.package' name='javax.management' version='0.0.0'/>
        <provided namespace='java.package' name='javax.tools' version='0.0.0'/>
        <provided namespace='java.package' name='javax.crypto.spec' version='0.0.0'/>
        <provided namespace='java.package' name='javax.script' version='0.0.0'/>
        <provided namespace='java.package' name='java.lang.module' version='0.0.0'/>
        <provided namespace='java.package' name='com.sun.source.util' version='0.0.0'/>
        <provided namespace='java.package' name='javax.sql.rowset' version='0.0.0'/>
        <provided namespace='java.package' name='java.io' version='0.0.0'/>
        <provided namespace='java.package' name='java.util.jar' version='0.0.0'/>
        <provided namespace='java.package' name='javax.crypto.interfaces' version='0.0.0'/>
        <provided namespace='java.package' name='org.w3c.dom.ranges' version='0.0.0'/>
        <provided namespace='osgi.ee' name='OSGi/Minimum' version='1.0.0'/>
        <provided namespace='osgi.ee' name='OSGi/Minimum' version='1.1.0'/>
        <provided namespace='osgi.ee' name='OSGi/Minimum' version='1.2.0'/>
        <provided namespace='osgi.ee' name='JRE' version='1.0.0'/>
        <provided namespace='osgi.ee' name='JRE' version='1.1.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='1.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='1.1.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='1.2.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='1.3.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='1.4.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='1.5.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='1.6.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='1.7.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='1.8.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='9.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='10.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='11.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='12.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='13.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='14.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='15.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='16.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE' version='17.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE/compact1' version='1.8.0'/>
        <provided namespace='osgi.ee' name='JavaSE/compact1' version='17.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE/compact2' version='1.8.0'/>
        <provided namespace='osgi.ee' name='JavaSE/compact2' version='17.0.0'/>
        <provided namespace='osgi.ee' name='JavaSE/compact3' version='1.8.0'/>
        <provided namespace='osgi.ee' name='JavaSE/compact3' version='17.0.0'/>
      </provides>
      <touchpoint id='org.eclipse.equinox.p2.native' version='1.0.0'/>
    </unit>
    <unit id='202508121324.de.prob2.feature.category' version='1.0.0.7N7E77cChTnh7UEUsFDMUMcUk'>
      <properties size='3'>
        <property name='org.eclipse.equinox.p2.name' value='ProB for Rodin'/>
        <property name='org.eclipse.equinox.p2.description' value='ProB is an animator and model checker for the B-Method. It allows&#xA;fully automatic animation of many B specifications, and can be used to systematically check a specification for errors.&#xA;Part of the research and development was conducted within the EPSRC funded projects ABCD and iMoc, and within the EU funded&#xA;projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II. ProB has been successfully used on various industrial specifications&#xA;and is now being used e.g. within Siemens, Alstom, Thales and ClearSy.'/>
        <property name='org.eclipse.equinox.p2.type.category' value='true'/>
      </properties>
      <provides size='1'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='202508121324.de.prob2.feature.category' version='1.0.0.7N7E77cChTnh7UEUsFDMUMcUk'/>
      </provides>
      <requires size='4'>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob2.feature.feature.group' range='[3.2.1.202508121324,3.2.1.202508121324]'/>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob2.symbolic.feature.feature.group' range='[3.2.1.202508121324,3.2.1.202508121324]'/>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.bmotionstudio.feature.feature.group' range='[3.2.1.202508121324,3.2.1.202508121324]'/>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob2.disprover.feature.feature.group' range='[3.2.1.202508121324,3.2.1.202508121324]'/>
      </requires>
      <touchpoint id='null' version='0.0.0'/>
    </unit>
    <unit id='de.prob.ui' version='7.6.1.202508121324' generation='2'>
      <update id='de.prob.ui' range='[0.0.0,7.6.1.202508121324)' severity='0'/>
      <properties size='6'>
        <property name='org.eclipse.equinox.p2.name' value='ProB Animator UI'/>
        <property name='org.eclipse.equinox.p2.provider' value='HHU Düsseldorf STUPS Group'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.ui'/>
        <property name='maven-version' value='7.6.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
      </properties>
      <provides size='5'>
        <provided namespace='org.eclipse.equinox.p2.iu' name='de.prob.ui' version='7.6.1.202508121324'/>
        <provided namespace='osgi.bundle' name='de.prob.ui' version='7.6.1.202508121324'/>
        <provided namespace='java.package' name='de.prob.ui' version='0.0.0'/>
        <provided namespace='osgi.identity' name='de.prob.ui' version='7.6.1.202508121324'>
          <properties size='1'>
            <property name='type' value='osgi.bundle'/>
          </properties>
        </provided>
        <provided namespace='org.eclipse.equinox.p2.eclipse.type' name='bundle' version='1.0.0'/>
      </provides>
      <requires size='12'>
        <required namespace='osgi.bundle' name='de.prob.core' range='[9.6.1,9.7.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.expressions' range='[3.7.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.resources' range='[3.13.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.core.runtime' range='[3.20.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.gef' range='[3.11.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.ui' range='[3.118.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eclipse.ui.ide' range='[3.18.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.eventb.core.ast' range='[3.5.0,4.0.0)'/>
        <required namespace='osgi.bundle' name='org.rodinp.core' range='[1.9.0,2.0.0)'/>
        <requiredProperties namespace='osgi.ee' match='(&amp;(osgi.ee=JavaSE)(version=11))'>
          <description>
            de.prob.ui
          </description>
        </requiredProperties>
        <required namespace='org.eclipse.equinox.p2.iu' name='de.prob.ui.source' range='[7.6.1.202508121324,7.6.1.202508121324]' optional='true'>
          <filter>
            (org.eclipse.update.install.sources=true)
          </filter>
        </required>
      </requires>
      <artifacts size='1'>
        <artifact classifier='osgi.bundle' id='de.prob.ui' version='7.6.1.202508121324'/>
      </artifacts>
      <touchpoint id='org.eclipse.equinox.p2.osgi' version='1.0.0'/>
      <touchpointData size='1'>
        <instructions size='1'>
          <instruction key='manifest'>
            Bundle-SymbolicName: de.prob.ui;singleton:=true&#xA;Bundle-Version: 7.6.1.202508121324
          </instruction>
        </instructions>
      </touchpointData>
    </unit>
  </units>
</repository>
