config.buildserver.py: use new java_paths keys

diff --git a/buildserver/config.buildserver.py b/buildserver/config.buildserver.py
index 61c57a3914ff93f9930489cde36acaa54f2f6a18..b14d6869290085bc5b7723786b633bd15854e519 100644 (file)
--- 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",
 }