Envoyer par SMS: Consistency Validation Method for Java Fine-Grained Lock Refactoring