[jbosstools-issues] [JBoss JIRA] (JBIDE-15866) Skip specific validation if problem level was set to "ignore"

Xavier Coulon created JBIDE-15866: ------------------------------------- Summary: Skip specific validation if problem level was set to "ignore" Key: JBIDE-15866 URL: https://issues.jboss.org/browse/JBIDE-15866 Project: Tools (JBoss Tools) Issue Type: Enhancement Components: webservices Affects Versions: 4.1.0.Final Reporter: Xavier Coulon Assignee: Xavier Coulon Fix For: 4.2.0.Alpha1 There's no need to perform the validation and attempt to create a marker if the problem level was set to "Ignore" by the user. This is wasted CPU time. -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira