You can merge this Pull Request by running
git pull https://github.com/dgolovin/jbosstools-base JBIDE-14844-revertOr view, comment on, or merge it at:
https://github.com/jbosstools/jbosstools-base/pull/140
Commit Summary
- JBIDE-14844 revert commit df2c1fc3c6b5ede5a68830f056cc6ddd6271f602 to save the build
File Changes
Patch Links: