UseJK is not displayed correctly in jmx-console (for case 11730).

Tomcat5.java needs the following patch:
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()

+
public void setUseJK(boolean useJK)
{
this.useJK = useJK;