Update the Features for the Releases 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.

  • org.rodinp.platform: The latest version is in the Rodin platform (Rodin Platform Feature) (About Rodin Platform > Installation Details).

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

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

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

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

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

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

  • 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)

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

• Add any new features as necessary.