Kotlin: fix Bazel formatting and mark kotlin1 integration tests

The six Kotlin integration tests that pass `-language-version 1.9` are
marked `@pytest.mark.kotlin1` so CI can run them first on a pinned
pre-2.4 kotlinc (which still accepts language version 1.9) and the rest
on the default 2.4 compiler. Also add a missing blank line in
kotlin-extractor/BUILD.bazel to satisfy the Bazel format check.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: andersfugmann

java/kotlin-extractor/BUILD.bazel

@@ -54,6 +54,7 @@ _extractor_name_prefix = "%s-%s" % (
 )
 
 _compiler_plugin_registrar_service_source = "src/main/resources/META-INF/services/org.jetbrains.kotlin.compiler.plugin.CompilerPluginRegistrar"
+
 _compiler_plugin_registrar_service_target = "META-INF/services/org.jetbrains.kotlin.compiler.plugin.CompilerPluginRegistrar"
 
 py_binary(

java/ql/integration-tests/kotlin/all-platforms/enhanced-nullability/test.py

@@ -1,6 +1,9 @@
 import pathlib
 
+import pytest
 
+
+@pytest.mark.kotlin1
 def test(codeql, java_full):
     java_srcs = " ".join([str(s) for s in pathlib.Path().glob("*.java")])
     codeql.database.create(

java/ql/integration-tests/kotlin/all-platforms/external-property-overloads/test.py

@@ -1,6 +1,9 @@
 import commands
 
+import pytest
 
+
+@pytest.mark.kotlin1
 def test(codeql, java_full):
     commands.run("kotlinc -language-version 1.9 test.kt -d lib")
     codeql.database.create(command="kotlinc -language-version 1.9 user.kt -cp lib")

java/ql/integration-tests/kotlin/all-platforms/extractor_information_kotlin1/test.py

@@ -1,2 +1,6 @@
+import pytest
+
+
+@pytest.mark.kotlin1
 def test(codeql, java_full):
     codeql.database.create(command="kotlinc -J-Xmx2G -language-version 1.9 SomeClass.kt")

java/ql/integration-tests/kotlin/all-platforms/file_classes/test.py

@@ -1,6 +1,9 @@
 import commands
 
+import pytest
 
+
+@pytest.mark.kotlin1
 def test(codeql, java_full):
     commands.run("kotlinc -language-version 1.9 A.kt")
     codeql.database.create(command="kotlinc -cp . -language-version 1.9 B.kt C.kt")

java/ql/integration-tests/kotlin/all-platforms/java-interface-redeclares-tostring/test.py

@@ -1,6 +1,9 @@
 import commands
 
+import pytest
 
+
+@pytest.mark.kotlin1
 def test(codeql, java_full):
     commands.run(["javac", "Test.java", "-d", "bin"])
     codeql.database.create(command="kotlinc -language-version 1.9 user.kt -cp bin")

java/ql/integration-tests/kotlin/all-platforms/kotlin_java_lowering_wildcards/test.py

@@ -1,6 +1,9 @@
 import commands
 
+import pytest
 
+
+@pytest.mark.kotlin1
 def test(codeql, java_full):
     # Compile the JavaDefns2 copy outside tracing, to make sure the Kotlin view of it matches the Java view seen by the traced javac compilation of JavaDefns.java below.
     commands.run(["javac", "JavaDefns2.java"])