Removed jetty.zip from tools-dev-server-all (it was accidentally added in the last commit)