can configure the default package name externally

kex-runner/src/main/kotlin/org/vorpal/research/kex/reanimator/codegen/JUnitTestCasePrinter.kt

@@ -35,7 +35,7 @@ val BasicBlock.validName get() = name.toString().replace(Regex("[^a-zA-Z0-9]"),
 // If there is no package assign an arbitrary package name 'example'
 // This is necessary since tests generated by kex use the same package structure and imports are made from helper files
 // In java imports are not possible from the default package
-val Method.packageName get() = klass.pkg.concreteName.ifBlank { "example" }
+val Method.packageName get() = klass.pkg.concreteName.ifBlank { kexConfig.getStringValue("testGen", "defaultPackageName", "example") }
 val Method.klassName get() = "${klass.validName}_${validName}_${abs(hashCode())}"
 
 abstract class TestCasePrinter(

kex.ini

@@ -22,6 +22,7 @@ compileDir = compiled/
 [testGen]
 enabled = true
 testsDir = tests/
+defaultPackageName = example
 accessLevel = private
 testCaseLanguage = java
 generateSetup = true