From 4fa4c9f0d6df0d31695c1b971d260bb3082be555 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 12 Nov 2015 14:22:32 -0800
Subject: [PATCH] Deleting models that specify a non-null return value

Reviewed By: jeremydubreil

Differential Revision: D2648163

fb-gh-sync-id: 4df2456
---
 .../google/common/collect/ImmutableList.java  | 24 -------------------
 .../src/java/nio/channels/FileChannel.java    |  5 ----
 2 files changed, 29 deletions(-)
 delete mode 100644 infer/models/java/src/com/google/common/collect/ImmutableList.java

diff --git a/infer/models/java/src/com/google/common/collect/ImmutableList.java b/infer/models/java/src/com/google/common/collect/ImmutableList.java
deleted file mode 100644
index 7c778eaa5..000000000
--- a/infer/models/java/src/com/google/common/collect/ImmutableList.java
+++ /dev/null
@@ -1,24 +0,0 @@
-/*
-* Copyright (c) 2013 - present Facebook, Inc.
-* All rights reserved.
-*
-* This source code is licensed under the BSD style license found in the
-* LICENSE file in the root directory of this source tree. An additional grant
-* of patent rights can be found in the PATENTS file in the same directory.
-*/
-
-package com.google.common.collect;
-
-import com.facebook.infer.models.InferBuiltins;
-
-public class ImmutableList<E> {
-
-  private static final ImmutableList<Object> EMPTY = new ImmutableList<Object>();
-
-  @SuppressWarnings("unchecked")
-  public static <E> ImmutableList<E> of() {
-    InferBuiltins.assume(EMPTY != null);
-    return (ImmutableList<E>) EMPTY;
-  }
-
-}
diff --git a/infer/models/java/src/java/nio/channels/FileChannel.java b/infer/models/java/src/java/nio/channels/FileChannel.java
index 3650f6d95..10bab86da 100644
--- a/infer/models/java/src/java/nio/channels/FileChannel.java
+++ b/infer/models/java/src/java/nio/channels/FileChannel.java
@@ -28,9 +28,4 @@ public abstract class FileChannel extends AbstractInterruptibleChannel {
 
     private native FileLock getFileLock();
 
-    FileLock lock() {
-        FileLock f = getFileLock();
-        InferBuiltins.assume(f != null);
-        return f;
-    }
 }