From 8b4826d1eb54002f21289db753a971f58a2a7227 Mon Sep 17 00:00:00 2001 From: Neo Pimentel Date: Fri, 15 Jun 2018 15:41:51 -0600 Subject: [PATCH] Updated vagrant's openjdk to version 8. --- Vagrantfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Vagrantfile b/Vagrantfile index 772109d..6aaca16 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -14,7 +14,7 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| end $provision = <<-EOF - apt-get install -y maven openjdk-7-jdk + apt-get install -y maven openjdk-8-jdk sed -i -r "s/#default-key 621CC013/default-key F39CD1E9/g" /home/vagrant/.gnupg/gpg.conf