[jbosstools-issues] [JBoss JIRA] (JBIDE-13170) Validation marker remains in editor

[Jaroslav Jankovič (JIRA)]

Jaroslav Jankovič created JBIDE-13170:
-----------------------------------------

             Summary: Validation marker remains in editor
                 Key: JBIDE-13170
                 URL: https://issues.jboss.org/browse/JBIDE-13170
             Project: Tools (JBoss Tools)
          Issue Type: Bug
          Components: CDI extensions
    Affects Versions: 4.0.0.CR1
            Reporter: Jaroslav Jankovič
            Assignee: Alexey Kazakov
             Fix For: 4.0.0.CR1, 4.1.x




--
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