fixes #920 so we now define a temp directory for jetty. many thanks @joakime for figuring that all out!