Cannot quit ProB2-UI

Description

The Java process keeps running after a quit.
The console reports:

Environment

None

Status

Assignee

Unassigned

Reporter

Michael Leuschel

Labels

Priority

Minor
Configure