The patch on issue https://issues.jboss.org/browse/JBIDE-12046 seems to fix this bug

This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators.
For more information on JIRA, see: http://www.atlassian.com/software/jira