i vote for 1.3 also ( same reason ) , so if consensus is reached on using 1.3, is it necessary to use Forehead to start up the jetty server?
Please blast it at will. It was just a pleasant cross-platform shortcut but given that it doesn't work, just go ahead and change it.
(+1 on 1.3 BTW)
Ciao,
-- Gianugo Rabellino Pro-netics s.r.l. http://www.pro-netics.com
