Como cambiar la versión utilizada de jre y jdk en Ubuntu