final File configDir =
LaunchConfigurationHelper.getConfigurationArea(configuration);
final IPath workingArea = new Path(configDir.getAbsolutePath());
final WorkingKarafPlatformModel workingKarafPlatform =
new WorkingKarafPlatformModel(workingArea, karafPlatform);
workingKarafPlatform.getConfigurationDirectory().toFile().mkdirs();
workingKarafPlatform.getUserDeployedDirectory().toFile().mkdirs();
// TODO: Factor this out so that it pulls the ID from this plugins
// registry
configuration.setAttribute(IPDELauncherConstants.OSGI_FRAMEWORK_ID, "org.apache.karaf.eik.Framework"); //$NON-NLS-1$
configuration.setAttribute(IPDEUIConstants.LAUNCHER_PDE_VERSION, "3.3"); //$NON-NLS-1$