[ https://issues.jboss.org/browse/JBIDE-23862?page=com.atlassian.jira.plugi... ] Andre Dietisheim edited comment on JBIDE-23862 at 2/6/17 4:09 AM: ------------------------------------------------------------------ trying to fix this in the client I stumbled upon JBIDE-23865 Given that there's no critical fix that has been introduced into the client since 5.3.0.Final there's no immediate need to switch the client. I'll therefore fix this in the tooling even though it would be preferrable to have the fix in the client. was (Author: adietish): trying to fix this in the client I stumbled upon JBIDE-23865 -- This message was sent by Atlassian JIRA (v7.2.3#72005)