[fedora-java] newbie question - Tomcat 4 instead of Tomcat 5 on FC4