From 3fbe4cc8f231b61bc5968bae3880b65820b76c07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Tue, 23 Feb 2016 12:26:00 +0000
Subject: [PATCH] config.buildserver.py: use new java_paths keys

---
 buildserver/config.buildserver.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/buildserver/config.buildserver.py b/buildserver/config.buildserver.py
index 61c57a39..b14d6869 100644
--- a/buildserver/config.buildserver.py
+++ b/buildserver/config.buildserver.py
@@ -4,6 +4,6 @@ ndk_paths = {
     'r10e': "/home/vagrant/android-ndk/r10e",
 }
 java_paths = {
-    '1.7': "/usr/lib/jvm/java-7-openjdk-i386",
-    '1.8': "/usr/lib/jvm/java-8-openjdk-i386",
+    '7': "/usr/lib/jvm/java-7-openjdk-i386",
+    '8': "/usr/lib/jvm/java-8-openjdk-i386",
 }