jbosstools/jbosstools-base — pull request #20 by dazarov (2012-12-04 20:50:47+00:00)
Title: JBIDE-13230 Quick fixes for problem markers for projects don't work anymore

Added necessary checks