@NotNull fun copyAsFile(@NotNull sourceUri: NonExistentClass): java.io.File@NotNull fun copyAsFile(@NotNull sourceUri: NonExistentClass, @NotNull destinationFile: java.io.File): java.io.File@NotNull fun copyAsFile(@NotNull sourceUri: java.net.URI, @NotNull destinationFilename: java.io.File): java.io.File