Is the Jakarta Web site running Tomcat?

[Jonathan Eric Miller]

Anyone know if the Jakarta Web site is running Tomcat? I know that it's
mostly static content, but, I think that would be cool if it was.

Jon