In the <a href="http://embedded.eecs.berkeley.edu/dopsysadmin/private/2/InfraxFAQ.htm">Infrax FAQ</a>, Allen wrote:
<blockquote>
You need to stop and restart the Tomcat server. You do this as <b>root</b> on the server machine:
<pre>

   server# /etc/init.d/tomcat stop
   server# /etc/init.d/tomcat start
</pre>
Bada boom. It should work. 
</blockquote>