如果没有Kotlin库，是否可以将Kotlin翻译成Java？

Question

如果没有Kotlin库，是否可以将Kotlin翻译成Java？ 某些环境只能运行标准Java文件（例如，某些acm联机文件）。在这种情况下可以使用Kotlin吗

我尝试使用反编译Kotlin字节码，但在大多数情况下，它会导入Kotlin的库（import kotlin.collections.CollectionsKt;）。它能被翻译成纯Java吗