http://jira.jboss.com/jira/browse/JBIDE is our jira - report bugs in there. View the original post : http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4110734#4110734 Reply to the post : http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&p=4110734