When we install a webapp into Tomcat, the files -- the new copies within Tomcat
itself -- are not registered with the file management subsystem; as a result,
Tomcat webapps are not removed by Pacman removes (and updates). I think it's
safe to simply register the entire webapp directory hierarchy at install time.
However, it's possible that there are some configuration files that ought to be
preserved across updates that will get nuked. We'll sort that part out later, I
suppose.
RT for crt.cs.wisc.edu
