Version bump to 0.2.2
Fix typo
Tidy up plugin.xml and SplashHandler.java (still doesn’t work, though)
Fix parser bug where NPEs were thrown if ‘actions’ or ‘operations’
blocks were empty, and in the process, refactor out the ‘plural’
definitions (AActionsDefintion, ATypesDefinition, AValuesDefinition, and
so on).
Bump version to 0.2.3-SNAPSHOT
Changed the model checker shutdown to not spam the log with an error if
FORMULA is not installed.
Remove methods for deleted AST nodes from the preflight visitors for the
TP and MC
Clear out methods related to the deleted AST nodes from ide/ui
Update the bundled cml examples to those in SVN#5163
Merge branch 'jwc'