Made IResourceMarker Eclipse-independent