To answer my question and document it to others: I had to install openjdk-7-jre And switch to that by issuing the sudo update-alternatives --config java command.
To answer my question and document it to others:
I had to install openjdk-7-jre
And switch to that by issuing the sudo update-alternatives --config java command.