Jini Distributed Lock Manager