tree 25de44fd8eeb6b51ff5a794a1426519b6be947b6
parent 006ab490e47e0861f687d71bfc9b74d7e15c468d
author Damien Martin-Guillerez <dmarting@google.com> 1452190221 +0000
committer Damien Martin-Guillerez <dmarting@google.com> 1452198041 +0000

Use openjdk7 as dependency for debian package of jdk7 flavor

Fixes #752.

--
MOS_MIGRATED_REVID=111614541