Patches for the feature-based launch configuration in Eclipse PDE