Yes, file a jira issue (or two). The source editing makes use of what eclipse provides, so
if it also happens there now and then, it might indeed be related
View the original post :
http://www.jboss.org/index.html?module=bb&op=viewtopic&p=4250077#...
Reply to the post :
http://www.jboss.org/index.html?module=bb&op=posting&mode=reply&a...