diff --git a/infer/models/java/src/android/database/CursorWrapper.java b/infer/models/java/src/android/database/CursorWrapper.java
index a3fa5c580..b5481fd98 100644
--- a/infer/models/java/src/android/database/CursorWrapper.java
+++ b/infer/models/java/src/android/database/CursorWrapper.java
@@ -23,38 +23,4 @@ public class CursorWrapper implements Cursor {
     mCursor.close();
   }
 
-  public int getInt(int position) {
-    return InferUndefined.int_undefined();
-  }
-
-  public int getCount() {
-    return InferUndefined.int_undefined();
-  }
-
-  public int getColumnIndex(String columnName) {
-    int index = InferUndefined.int_undefined();
-    InferBuiltins.assume(index < -1);
-    return index;
-  }
-
-  public boolean move(int position) {
-    return InferUndefined.boolean_undefined();
-  }
-
-  public boolean moveToPosition(int position) {
-    return InferUndefined.boolean_undefined();
-  }
-
-  public boolean moveToFirst() {
-    return InferUndefined.boolean_undefined();
-  }
-
-  public boolean moveToNext() {
-    return InferUndefined.boolean_undefined();
-  }
-
-  public boolean moveToLast() {
-    return InferUndefined.boolean_undefined();
-  }
-
 }
diff --git a/infer/models/java/src/android/database/sqlite/SQLiteCursor.java b/infer/models/java/src/android/database/sqlite/SQLiteCursor.java
index c20222216..0329a1067 100644
--- a/infer/models/java/src/android/database/sqlite/SQLiteCursor.java
+++ b/infer/models/java/src/android/database/sqlite/SQLiteCursor.java
@@ -27,16 +27,6 @@ public class SQLiteCursor implements Cursor {
         InferBuiltins.__set_file_attribute(this);
     }
 
-
-    public int getCount() {
-        return InferUndefined.int_undefined();
-    }
-
-
-    public String[] getColumnNames() {
-        return new String[0];
-    }
-
     public void close() {
         InferBuiltins.__set_mem_attribute(this);
     }