jboss-reddeer/reddeer — pull request #827 by rawagner (2014-12-01 08:44:23+00:00)
Title: Possibility to filter validation markers

+ add it to /EditorHasValidationMarkers.java