com.r3corda.core / java.nio.file.Path

Extensions for java.nio.file.Path

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.

use fun <R> Path.use(block: (InputStream) -> R): R