[ https://issues.jboss.org/browse/JBIDE-11964?page=com.atlassian.jira.plugi... ] Andrej Podhradsky edited comment on JBIDE-11964 at 9/6/13 5:38 AM: ------------------------------------------------------------------- Maybe Bob forgot to set this issue as resolved, but this is already fixed was (Author: apodhrad): Maybe Bob forgot to set this assie as resolved, but this is already fixed -- 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