Lock Inference for Java