Enabling Servlet Reloading

You can tell Tomcat to enable servlet reloading (based on whether the modification date of the class file is newer than the version currently loaded), but the instructions on p. 26 of Hall & Brown's Core Servlets and JavaServer Pages, vol. 1, do not seem to be correct.  Apparently the updated instructions are here.