Re: [jbosstools-dev] An Eclipse bug that needs some love