Release 9 Notes

Bug fix: the mapping between the displayed position of a circular slider and the slider model value was incorrect.

The parsing of Java version strings has been generalized.