More work on Deque.java