Version 9.0

Whilst the majority of changes in GATE Developer 9.0 are small a number of them change default behaviour (in the UI or API) hence the change in version number. See the %(https://gate.ac.uk/userguide/subsec:changes:9.0?gateVersion=9.0, user guide) for more details