Thank you for your help!
It is important that you copy the app to the desktop, not just move it (the equivalent in a terminal being a 'cp -pr' instead of 'mv' command). If you drag the the application, it will just become moved, and then there is no issue.
Another thing is that this does not happen all the time. It seems to depend on the state of the machine - the longer the machine has been running without rebooting, the greater the probability for encountering the problem.
Topic:
Developer Tools & Services
SubTopic:
Xcode
Tags: