Reports nested synchronized statements.

Nested synchronized statements are either redundant (if the lock objects are identical) or prone to deadlock.