A Vagrant box with Docker and Java