* scripts/mir-setup/conf: updated to use tomcat5.5