package java.util;

public class LinkedList<E> implements List<E> {
    public LinkedList() { };
    
    /* These are translated to uninterpreted functions in Sketch which doesn't work */
    public boolean add(Object e) {
    	return false;
    }
    public boolean isEmpty() {
    	return false;
    }
    public E get(int index) {
    	return null;
    }
    public void remove(Object e) {

    }
    public boolean remove(int index) {
    	return false;
    }

    public <E> E set (int index, E element) {
	return null;
    }
}

@@ -205,27 +205,79 @@
 ean add(
-Object e) %7B
+E e) %7B%0A    // previous: public boolean add(Object e) 2017-11-13
 %0A    %09re

public boolean add(E e)