From 24cbba43558efa485c776ab69717d4228e0eaf63 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Mon, 23 May 2016 04:54:58 -0700
Subject: [PATCH] Revert "[CSL] add model of locks inside the Object class"

Reviewed By: sblackshear

Differential Revision: D3334349

fbshipit-source-id: 3533820
---
 infer/models/java/src/java/lang/Object.java | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/infer/models/java/src/java/lang/Object.java b/infer/models/java/src/java/lang/Object.java
index 8c885749d..b85a6b401 100644
--- a/infer/models/java/src/java/lang/Object.java
+++ b/infer/models/java/src/java/lang/Object.java
@@ -12,15 +12,6 @@ package java.lang;
 import com.facebook.infer.models.InferUndefined;
 
 public class Object {
-    private boolean __inferIsLocked;
-
-    public void __inferLock() {
-      __inferIsLocked = true;
-    }
-
-    public void __inferUnlock() {
-      __inferIsLocked = false;
-    }
 
     public Class getClass() {
         Class c = new Class();