Well, that was silly. The Tomcat HTML Manager already provides the JRE version at the bottom of the page, if you wanted to manually check it. To check by script, you could use the plain Manager:
[EMAIL PROTECTED] ~ $ wget --quiet -O - --user USER --password PASSWORD http://localhost:8080/manager/serverinfo OK - Server info Tomcat Version: Apache Tomcat/5.5 OS Name: Linux OS Version: 2.6.18-gentoo-r6 OS Architecture: i386 JVM Version: 1.5.0_11-b03 JVM Vendor: Sun Microsystems Inc. -- Mark H. Wood, Lead System Programmer [EMAIL PROTECTED] Typically when a software vendor says that a product is "intuitive" he means the exact opposite.
pgpklqOS3Iihc.pgp
Description: PGP signature