PMD、FindBug、checkstyle、sonar这些代码检查工具的区别？各自的侧重点是什么？