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