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

Added necessary checks