Update the Features for the Target Bundle

• Update the following feature versions using the format x.x.x.qualifier. The latest versions of the features can be found on the corresponding update sites.

  • ac.soton.xeventb.feature.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (CamilleX (SDK)).

  • ac.soton.eventb.statemachines.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (iUMLB State-Machines (for Rodin 3.x.x) SDK).

  • ac.soton.eventb.statemachines.animation.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (iUMLB State-Machines Animation (for Rodin 3.x + ProB1 3.x) SDK).

  • ac.soton.eventb.classdiagrams.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (iUML-B Class Diagrams (for Rodin 3.x.x) SDK).

  • ac.soton.eventb.scenariochecker.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Scenario Checker (for Rodin 3.x.x) SDK).

  • ac.soton.eventb.roseEditor.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Rose Event-B Editor SDK).

  • org.eventb.smt: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (SMT Solvers).

  • de.prob2.feature: ProB - http://www.stups.hhu.de/prob_updates_rodin3 (ProB for Rodin3)

  • ch.ethz.eventb.utils.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B Utilities SDK).

  • org.eventb.emf.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Framework (for Rodin 3.x) SDK).

  • ac.soton.emf.translator.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (EMF Translator SDK).

  • ac.soton.eventb.emf.core.extension.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Support for Modelling Extensions (for Rodin 3.x) SDK).

  • ac.soton.emf.translator.eventb.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Adaptation of EMF Translator for Event-B SDK).

  • ac.soton.eventb.probsupport.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B ProB Support SDK).

  • ac.soton.eventb.emf.diagrams.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (UML-B Diagrams - Basis (for Rodin 3.x) SDK).

  • ac.soton.eventb.emf.inclusion.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Inclusion SDK Feature).

  • ac.soton.eventb.emf.record.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Record SDK Feature).

  • ac.soton.eventb.emf.containment.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Containment SDK).

  • org.eclipse.gmf.sdk: GMF Tooling Update Site - https://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases (Graphical Modeling Framework (GMF) Tooling SDK).

  • org.eclipse.rmf.reqif10.pror.sdk.feature: RMF Update Site - https://download.eclipse.org/rmf/updates/releases (RMF ProR Feature).

  • org.eclipse.sphinx.sdk: Sphinx Update Site - https://download.eclipse.org/sphinx/releases/0.11.x (Sphinx SDK).

• Add any new features as necessary.