JBIDE-18752 patch from carofe82, https://gist.githubusercontent.com/carofe82/bb3ab72ed692c7c91165/raw/74fe1f7a817de7e73ec83de22ba3927f8af4de54/gistfile1.diff >> jbosstools-4.2.x