mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-02 05:45:58 +02:00
Code Issues Wiki Activity

Fix casting to the correct type for compatibility with older Eclipse

Browse source 
releases
This commit is contained in:
Uwe Stieber 2016-03-09 09:01:45 +01:00
parent 4f29bbabc0
commit b093d30afe
1 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/local/showin/ExternalExecutablesManager.java
View file

@ -194,11 +194,10 @@ public class ExternalExecutablesManager {
* *
* @param l The list of external executables or <code>null</code>. * @param l The list of external executables or <code>null</code>.
*/ */
public static void save(List<Map<String, String>> l) { @SuppressWarnings("cast")
ISourceProviderService sourceProviderService = public static void save(List<Map<String, String>> l) {
PlatformUI.getWorkbench().getService(ISourceProviderService.class); ISourceProviderService sourceProviderService = (ISourceProviderService) PlatformUI.getWorkbench().getService(ISourceProviderService.class);
ExternalExecutablesState stateService = ExternalExecutablesState stateService = (ExternalExecutablesState) sourceProviderService.getSourceProvider(ExternalExecutablesState.CONFIGURED_STATE);
(ExternalExecutablesState) sourceProviderService.getSourceProvider(ExternalExecutablesState.CONFIGURED_STATE);
IPath stateLocation = UIPlugin.getDefault().getStateLocation(); IPath stateLocation = UIPlugin.getDefault().getStateLocation();
if (stateLocation != null) { if (stateLocation != null) {