hg: jdk9/dev/jdk: 8181334: add spec for Deque.addAll

[martinrb at google.com]

Changeset: bd582963beb7
Author:    dl
Date:      2017-06-16 19:50 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/bd582963beb7

8181334: add spec for Deque.addAll
Reviewed-by: martin, psandoz, smarks, darcy

! src/java.base/share/classes/java/util/Deque.java