You can close this bug as I found the answer here: http://askubuntu.com/questions/73638/duplicate-icons-in-gnome-shell
Turns out that menu-xdg is the one showing the duplicate entries. Uninstalling it fixes the issue. BR
You can close this bug as I found the answer here: http://askubuntu.com/questions/73638/duplicate-icons-in-gnome-shell
Turns out that menu-xdg is the one showing the duplicate entries. Uninstalling it fixes the issue. BR