java se和jdk:服务器代理要怎么设置呀