WTP 3.4.2 Patches

org.eclipse.jst.web_core.feature

Bug 401742. Server starts unnecessarily when removing projects from the workspace