WTP 3.5.1 Patches

org.eclipse.jst.web_core.feature

Bug 419804. [regression] Servlets should not be disabled by default