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>

bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerSet.java

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);
 		}