This release fixes some bugs. Details: Fixed a bug where using a filter to create a selection with a radius would deselect regions that were fully selected. Fixed a bug when running with Java 15 c...