[Bug 396574] add /Users/jesse/installs/jetty as a location for pid to be found
Merge branch 'jetty-7' into jetty-8