Merge openjdk-7 (7u131-2.6.9-2~deb8u1+rpi1) import into refs/heads/workingbranch
authorRaspbian forward porter <root@raspbian.org>
Tue, 30 May 2017 21:07:11 +0000 (21:07 +0000)
committerRaspbian forward porter <root@raspbian.org>
Tue, 30 May 2017 21:07:11 +0000 (21:07 +0000)

Trivial merge