From b093d30afea24b89fe711026eacf5c75e3153de0 Mon Sep 17 00:00:00 2001
From: Uwe Stieber <uwe.stieber@windriver.com>
Date: Wed, 9 Mar 2016 09:01:45 +0100
Subject: [PATCH] Fix casting to the correct type for compatibility with older
 Eclipse releases

---
 .../view/ui/local/showin/ExternalExecutablesManager.java | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/local/showin/ExternalExecutablesManager.java b/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/local/showin/ExternalExecutablesManager.java
index ab4154a9824..b2368b85846 100644
--- a/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/local/showin/ExternalExecutablesManager.java
+++ b/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/local/showin/ExternalExecutablesManager.java
@@ -194,11 +194,10 @@ public class ExternalExecutablesManager {
 	 *
 	 * @param l The list of external executables or <code>null</code>.
 	 */
-	public static void save(List<Map<String, String>> l) {
-		ISourceProviderService sourceProviderService =
-						PlatformUI.getWorkbench().getService(ISourceProviderService.class);
-		ExternalExecutablesState stateService =
-						(ExternalExecutablesState) sourceProviderService.getSourceProvider(ExternalExecutablesState.CONFIGURED_STATE);
+	@SuppressWarnings("cast")
+    public static void save(List<Map<String, String>> l) {
+		ISourceProviderService sourceProviderService = (ISourceProviderService) PlatformUI.getWorkbench().getService(ISourceProviderService.class);
+		ExternalExecutablesState stateService = (ExternalExecutablesState) sourceProviderService.getSourceProvider(ExternalExecutablesState.CONFIGURED_STATE);
 
 		IPath stateLocation = UIPlugin.getDefault().getStateLocation();
 		if (stateLocation != null) {