installed jetty, then promptly ignored it w.r.t. git