Document openjdk-7-jre dependency in Ubuntu

Fixes Bug #984427
Merge pull request #2206 from bramwelt/fix-984427-document-openjdk-dependency

Document openjdk-7-jre dependency in Ubuntu