btw. jira is at https://issues.jboss.org/browse/JBIDE but for this issue I would say a forum posting is more relevant and that is at http://community.jboss.org/en/tools/dev?view=discussions