Fixes Java installation in vagrant.
Merge pull request #1092 from AdrianGaudebert/vagrant-fix-java-install

Fixes Java installation in vagrant.