From 932beb5ba342c4bef160f80ee01dc1f489c7feb1 Mon Sep 17 00:00:00 2001
From: Ed Merks <ed.merks@gmail.com>
Date: Wed, 24 Jun 2026 22:02:15 +0200
Subject: [PATCH] Eliminate unchecked cast in
 o.e.w.ui.preferences.Settings.findSettings

---
 .../org/eclipse/wildwebdeveloper/ui/preferences/Settings.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/org.eclipse.wildwebdeveloper/src/org/eclipse/wildwebdeveloper/ui/preferences/Settings.java b/org.eclipse.wildwebdeveloper/src/org/eclipse/wildwebdeveloper/ui/preferences/Settings.java
index 324578b242..690e1ad2fb 100644
--- a/org.eclipse.wildwebdeveloper/src/org/eclipse/wildwebdeveloper/ui/preferences/Settings.java
+++ b/org.eclipse.wildwebdeveloper/src/org/eclipse/wildwebdeveloper/ui/preferences/Settings.java
@@ -74,13 +74,13 @@ private static void fillSetting(String preferenceId, Object preferenceValue, Map
 	}
 
 	public Object findSettings(String[] sections) {
-		Map<String, Object> current = this;
+		Map<?, ?> current = this;
 		for (String section : sections) {
 			Object result = current.get(section);
 			if (result == null || !(result instanceof Map)) {
 				return null;
 			}
-			current = (Map<String, Object>) result;
+			current = (Map<?, ?>) result;
 		}
 		return current;
 	}