947: Mainline

If you wish, you can divide menu items into groups by adding separators, using the addSeparator method:

a menu.addSeparator()