jbosstools/jbosstools-base — pull request #26 by dazarov (2012-12-05 18:11:53+00:00)
Title: JBIDE-13230 Quick fixes for problem markers for projects don't work anymore

Added necessary checks