Bug fix in Deque.java