Merge openjdk-7 (7u131-2.6.9-2~deb8u1) import into refs/heads/workingbranch
authorMoritz Muehlenhoff <jmm@debian.org>
Wed, 17 May 2017 16:54:57 +0000 (16:54 +0000)
committerMoritz Muehlenhoff <jmm@debian.org>
Wed, 17 May 2017 16:54:57 +0000 (16:54 +0000)

Trivial merge