tree ef30255998f91138bf5c52ac8f339c354f4cfbda
parent 40ea9a27c0724108c357dd18ca19a80996e25582
author Damien Martin-Guillerez <dmarting@google.com> 1452190221 +0000
committer Damien Martin-Guillerez <dmarting@google.com> 1452199732 +0100

Use openjdk7 as dependency for debian package of jdk7 flavor

Fixes #752.

--
MOS_MIGRATED_REVID=111614541