Ignore catalina*.jar, so we are not tied to a specific version. :)
Authored by: exeunt 2003-09-17
Parent: [r450]
Child: [r452]
