Deadlock detection of java bytecode