Actually, it was STUPID, not weird (cross-posted to Tomcat and Debian Lists): my BROWSER CACHES never got flushed!
I really can't believe I didn't think about the possibility that my
browsers were both still caching the default root context from Tomcat 7
when I did the port swap.
I definitely need to always remember to consider the possibility that
I'm doing something stupid.