| commit | 04eedf83d8808cd3c68592db28c28ccbf4047bd4 | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Thu Feb 11 06:59:23 2021 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Thu Feb 11 06:59:23 2021 +0100 |
| tree | c5505076d513afc4d9c594adfc291f403c281dca | |
| parent | 61e44df49f5dda87144e13d7167579fde8d855c3 [diff] |
[Releng] Implement ExternalResource.createMarker(String, Map<String, ? extends Object>) with slightly different signature
diff --git a/plugins/org.eclipse.oomph.resources/src/org/eclipse/oomph/internal/resources/ExternalResource.java b/plugins/org.eclipse.oomph.resources/src/org/eclipse/oomph/internal/resources/ExternalResource.java index 4a4e448..01834ee 100644 --- a/plugins/org.eclipse.oomph.resources/src/org/eclipse/oomph/internal/resources/ExternalResource.java +++ b/plugins/org.eclipse.oomph.resources/src/org/eclipse/oomph/internal/resources/ExternalResource.java
@@ -144,7 +144,7 @@ throw new ReadOnlyException(); } - public IMarker createMarker(String type, Map<String, Object> attributes) throws CoreException + public IMarker createMarker(String type, Map<String, ? extends Object> attributes) throws CoreException { throw new ReadOnlyException(); }