Index: tomcat/src/main/org/jboss/web/tomcat/tc5/Tomcat5.java =================================================================== --- tomcat/src/main/org/jboss/web/tomcat/tc5/Tomcat5.java (revision 57281) +++ tomcat/src/main/org/jboss/web/tomcat/tc5/Tomcat5.java (working copy) @@ -302,6 +302,10 @@ return useJK; } + public boolean getUseJK() { + return useJK; + } + public void setUseJK(boolean useJK) { this.useJK = useJK;