eclipse4.3的“window"->"Preferences"中无“server”选项引用：https://www.cnblogs.com/xiaoxiaoweng/p/7298183.html 解决