| commit | ee1a80fb92146924a73dffcee1dc5fcfc78f835e | [log] [tgz] |
|---|---|---|
| author | Carsten Hammer <carsten.hammer@t-online.de> | Thu Feb 04 18:47:13 2021 +0100 |
| committer | Mickael Istria <mistria@redhat.com> | Thu Jun 24 05:13:44 2021 -0400 |
| tree | 91e772f0a03962ab8b5a79b4376efacf7ab0241f | |
| parent | 2fa802745521175fc96c4ce1f157ab1160f07ad5 [diff] |
Throw out unused code Change-Id: I030e438420a7c6b2945edd21784818b43200c402 Signed-off-by: Carsten Hammer <carsten.hammer@t-online.de> Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/175810 Tested-by: Platform Bot <platform-bot@eclipse.org> Reviewed-by: Mickael Istria <mistria@redhat.com>
diff --git a/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerSet.java b/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerSet.java index 4ec6028..a9dfe03 100644 --- a/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerSet.java +++ b/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerSet.java
@@ -234,13 +234,10 @@ @Override public void shareStrings(StringPool set) { //copy elements for thread safety - Object[] array = elements; + IMarkerSetElement[] array = elements; if (array == null) return; - for (int i = 0; i < array.length; i++) { - Object o = array[i]; - if (o instanceof String) - array[i] = set.add((String) o); + for (IMarkerSetElement o : array) { if (o instanceof IStringPoolParticipant) ((IStringPoolParticipant) o).shareStrings(set); }