For information on the ant jetty plugin, please see 

  http://docs.codehaus.org/display/JETTY/Ant+Jetty+Plugin