Из информации, которую дал Бен Якубен, я выяснил магическое заклинание:
Platform.getPreferencesService().getString("com.android.ide.eclipse.adt", "com.android.ide.eclipse.adt.sdk", null, null);
Вот ключевые сведения:
- "com.android.ide.eclipse.adt "- идентификатор плагина Android
- " com.android.ide.eclipse.adt.sdk "- ключ для определения местоположения SDK