<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <font size="-1">You can close this bug as I found the answer here:
      <a class="moz-txt-link-freetext" href="http://askubuntu.com/questions/73638/duplicate-icons-in-gnome-shell">http://askubuntu.com/questions/73638/duplicate-icons-in-gnome-shell</a><br>
      <br>
      Turns out that menu-xdg is the one showing the duplicate entries.
      Uninstalling it fixes the issue.<br>
      <br>
      BR<br>
    </font>
  </body>
</html>