Document openjdk-7-jre dependency in Ubuntu

Fixes Bug #984427