Details
Description
We now depend on openjdk-7-jre on Ubuntu, but this also install a lot of desktop related packages.
We don't need them and can depend on openjdk-7-jre-headless
We now depend on openjdk-7-jre on Ubuntu, but this also install a lot of desktop related packages.
We don't need them and can depend on openjdk-7-jre-headless