RESOLVED - bug 418902: ValidationMarkerManager does not distinguish
objects with identical URI
https://bugs.eclipse.org/bugs/show_bug.cgi?id=418902
2 files changed