www-servers/tomcat/files/5.0.28/jikes.diff


1
2
3
4
5
6
7
8
9
10
11
12
13

--- jakarta-tomcat-catalina/catalina/src/conf/web.xml	2004-06-18 03:10:14.000000000 +0200
+++ jakarta-tomcat-catalina/catalina/src/conf/web.xml	2004-07-28 18:51:39.192165664 +0200
@@ -186,6 +186,10 @@
     <servlet>
         <servlet-name>jsp</servlet-name>
         <servlet-class>org.apache.jasper.servlet.JspServlet</servlet-class>
+        <init-param>
+            <param-name>compiler</param-name>
+            <param-value>jikes</param-value>
+        </init-param>
         <init-param>
             <param-name>fork</param-name>
             <param-value>false</param-value>