额，今天说一下这个SE_lab3那几个东西都是怎么装的。
啊……其实技术含量貌似不是很高的。
1、先说最简单的一个叫做：Findbugs
点这个Eclipse Marketplace，这是一个神奇的东西嗯。（真的不骗人。）
搜索Findbugs，点install。然后…… 先点confirm 再点finish，搞定。
这里这一步比较费时……
2、Checkstyle和PMD……
这两个东西从这里下载……http://pan.baidu.com/s/1mgxD4hy
安装特别简单特别特别简单……就是把plugins和features里的文件全部复制到Eclipse目录下的plugins和features目录下就ok了，重启Eclipse生效。
（PMD和Checkstyle是挨着的。）
3、TPTP
方法居然和2里也是一样的。装好了之后欢迎页变样了。（我也不知道是不是就算安装成功了……我猜应该是吧。）
要注意的是这次会复制很多文件，粘贴的时候会有很多替换操作。反正我是头也不回的直接选择全部替换了，怕有风险的同志们可以选择吧plugins和features两个文件夹备份一下。
ok本次的教程就是这样的。欢迎交流。
再说一遍地址吧：http://pan.baidu.com/s/1mgxD4hy
（这几个插件的用法好像挺多的，嗯……有可能会写后序内容。
……当然，只是有可能。）