In case a SecurityManager is installed, using the
defaultForkJoinWorkerThreadFactory would result in worker threads with
no permissions, which could prevent the workspace from being saved [1].

Use a custom ForkJoinWorkerThreadFactory implementation to work around
this.

Fixes #294.