linux jetty 环境变量