net.corda.core / java.nio.file.Path / div

div

operator fun Path.div(other: String): Path

Allows you to write code like: Paths.get("someDir") / "subdir" / "filename" but using the Paths API to avoid platform separator problems.