Commented on the issue. On 8 Jul 2011, at 21:56, Alexey Kazakov wrote: > Hi Pete, > > Could you please take a look at https://issues.jboss.org/browse/JBIDE-9313 and verify if we got it right. > > Thank you.