Toward the Static Detection of Deadlock in Java Software