从idea插件仓库里安装的jetty插件不能使用，而且从官网下载了一个从本地安装了。然后jetty的端口号始终无法更改，看的是从Edit里面可以改，但是改过之后还是显示8080会被占用。