[wtp-dev] Patch that adds tomcat 5.5 support

[Panagiotis Korros <panagiotis.korros@xxxxxxxxx>]

This patch adds tomcat 5.5 support. Support for tomcat 5.5 is not
complete but the user can install and start / stop a tomcat 5.5
server.

Things that need further work:

1. The 5.5 icons are missing
2. Tomcat 5.5 requires a java 5.0 jre
3. Tomcat 5.5 doesn't require a jdk installation

usage:
Apply Tomcat55SupportCore.patch to org.eclipse.jst.server.tomcat.core
and Tomcat55SupportUI.patch to org.eclipse.jst.server.tomcat.ui.

Regards,
Panagiotis Korros

Attachment: Tomcat55SupportCore.patch
Description: Binary data

Attachment: Tomcat55SupportUI.patch
Description: Binary data