If you press ENTER after the triple-slash (and not SPACE), you should see the XMLdoc comment expanded, using the XML doc syntax. I am able to reproduce the incorrect behavior where using the editor "from scratch" uses the JavaDoc style delimiters. But if the skeleton of the XMLdoc comment is already in place, it correctly uses the XML syntax. The menu item should read Document > Edit XML Comment.