Possibility to filter validation markers

+ add it to /EditorHasValidationMarkers.java