vagrantfile for a CentOS 6.5 box used for Java app development and deployment