Jlint will check your java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis and building the lock graph.