Method wait() can be Invoked with Monitor of other object Locked (MWIML)

Description:

MWIML detects if more than one monitor objects are locked by the thread at the moment of wait() method invocations. As far as wait unlocks only one monitor, it can be a reason of deadlock. Successive messages of type wait_path specify call sequence, which leads to this invocation. Monitors can be locked by invocation of synchronized method or by explicit synchronized construction. MWIML handles both cases.