Re: [jbosstools-dev] [jbosstools-base] JBIDE-14844 revert commit df2c1fc3c6b5ede5a68830f056cc6ddd6271f602 to save the build (#140)