Fixed #12625: JSMENU's fallback menu name is not unique