Re: [jbosside-dev] JBossIDE integration build 200608150012-integration results