added variable to enable/disable deadlock detection in Server.java