Eliminate unchecked cast in o.e.w.ui.preferences.Settings.findSettings#2153

merks merged 1 commit into

eclipse-wildwebdeveloper:mastereclipse-wildwebdeveloper/wildwebdeveloper:masterfrom

merks:pr-fix-findSettings-warningmerks/wildwebdeveloper:pr-fix-findSettings-warningCopy head branch name to clipboard