Installing the JRE on Ubuntu, with alternatives support