Kotlin: Add explicit CI version number to build script

Author: tamasvajk

java/kotlin-extractor/kotlin_plugin_versions.py

@@ -21,6 +21,9 @@ def version_string_to_tuple(version):
     m = re.match(r'([0-9]+)\.([0-9]+)\.([0-9]+)(.*)', version)
     return tuple([int(m.group(i)) for i in range(1, 4)] + [m.group(4)])
 
+# Version number used by CI. It needs to be one of the versions in many_versions.
+ci_version = '1.7.0'
+
 # Version numbers in the list need to be in semantically increasing order
 many_versions = [ '1.4.32', '1.5.0', '1.5.10', '1.5.21', '1.5.31', '1.6.10', '1.6.20', '1.7.0' ]
 
@@ -54,8 +57,7 @@ def get_single_version(fakeVersionOutput = None):
     raise Exception(f'No suitable kotlinc version found for {current_version} (got {versionOutput}; know about {str(many_versions)})')
 
 def get_latest_url():
-    version = many_versions[-1]
-    url = 'https://github.com/JetBrains/kotlin/releases/download/v' + version + '/kotlin-compiler-' + version + '.zip'
+    url = 'https://github.com/JetBrains/kotlin/releases/download/v' + ci_version + '/kotlin-compiler-' + ci_version + '.zip'
     return url
 
 if __name__ == "__main__":