Random crash when using the search dialog in the Help menu on macOS

[AlexisDrogoul]

Describe the bug
When using the search dialog in the Help Menu in macOS, in some cases, GAMA crashes without any warning and leaves immediately.

To Reproduce
Steps to reproduce the behavior:

1. Go to Help menu, Search dialog on top.
2. Type some characters
3. Choose one of the menu items appearing
4. Most of the time GAMA does not crash, but sometimes, apparently randomly it does.

Expected behavior
No crash of course.

Desktop (please complete the following information):

• OS: macOS Ventura 13.4
• PC Model: MBP 16" M1 Max
• GAMA version: 1.9.1
• Java version: 17