JabRef version

Latest development branch build (please note build date below)

Operating system

macOS

Details on version and operating system

Ventura 13.1.1

Checked with the latest development build

• I made a backup of my libraries before testing the latest development version.
• I have tested the latest development version and the problem persists

Steps to reproduce the behaviour

Dev version JabRef 5.10 dab8516

1. Create a library with some entries
2. Enable special field priority (see prefs)
3. Assign some entries the priority 1
4. Create a new Group with Specified keywords -> Field to group by "priority" . Leave name of the group empty
5. 
6. Save
7. Make a right click on the group: Edit shows up twice but no delete
   

Implementation details:
Check out GroupTreeView.java createContextMenuForGroup

Appendix

...

Paste an excerpt of your log file here