[BLUEJ-1151] the Tools menu grows unbounded with multiple copies of the Submit menu item
This can be reproduced by closing a project and then opening a new project (or re-opening the last one) which duplicates the Submit menu item on the Tools menu.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.1.3