Ctrl-V pastes clipboard two times!

In the menu bar demo at http://pivot.apache.org/tutorials/menu-bars.html, if you copy some text to the clipboard and paste it using Ctrl-V, it's pasted two times, which is very annoying.