Vagrantfile: set java7 as the default option. Close #6.