Java-development support-server on Ubuntu 12.04 using Vagrant