Upgrading to Ubuntu 14.04 and getting OpenDJ via download instead of building it