Try work around for 'Bug 16519 - Pasting into source editor breaks
after a while'.