Java/java/nio/file/Files_static.fz

# Fuzion interface to static members of Java class 'java.nio.file.Files'
#
# !!!!!!  DO NOT EDIT, GENERATED CODE !!!!!!
#
# This code was generated automatically using the fzjava tool V0.087 called 
# as follows:
#
#   ./build/bin/fzjava java.base -to=build/modules/java.base -verbose=0
#
public Java.java.nio.file.Files_static is

  # call Java static method 'public static long java.nio.file.Files.copy(java.io.InputStream,java.nio.file.Path,java.nio.file.CopyOption[]) throws java.io.IOException':
  #
  public copy_Ljava_7_io_7_InputStream_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_(arg0 Java.java.io.InputStream, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.CopyOption)) outcome (i64) =>
    fuzion.java.call_static (outcome (i64)) "java.nio.file.Files" "copy" "(Ljava/io/InputStream;Ljava/nio/file/Path;[Ljava/nio/file/CopyOption;)J" [(Java.java.nio.file.Files_static.copy_Ljava_7_io_7_InputStream_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg0); (Java.java.nio.file.Files_static.copy_Ljava_7_io_7_InputStream_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.CopyOption) Java.java.nio.file.Files_static.copy_Ljava_7_io_7_InputStream_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg2)]

  # call Java static method 'public static long java.nio.file.Files.copy(java.nio.file.Path,java.io.OutputStream) throws java.io.IOException':
  #
  public copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_io_7_OutputStream_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.io.OutputStream) outcome (i64) =>
    fuzion.java.call_static (outcome (i64)) "java.nio.file.Files" "copy" "(Ljava/nio/file/Path;Ljava/io/OutputStream;)J" [(Java.java.nio.file.Files_static.copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_io_7_OutputStream_s_.this.arg0); (Java.java.nio.file.Files_static.copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_io_7_OutputStream_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.copy(java.nio.file.Path,java.nio.file.Path,java.nio.file.CopyOption[]) throws java.io.IOException':
  #
  public copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.CopyOption)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "copy" "(Ljava/nio/file/Path;Ljava/nio/file/Path;[Ljava/nio/file/CopyOption;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg0); (Java.java.nio.file.Files_static.copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.CopyOption) Java.java.nio.file.Files_static.copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg2)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.createDirectories(java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createDirectories_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "createDirectories" "(Ljava/nio/file/Path;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.createDirectories_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.Files_static.createDirectories_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.createDirectory(java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "createDirectory" "(Ljava/nio/file/Path;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.createDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.Files_static.createDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.createFile(java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createFile_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "createFile" "(Ljava/nio/file/Path;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.createFile_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.Files_static.createFile_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.createLink(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public createLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "createLink" "(Ljava/nio/file/Path;Ljava/nio/file/Path;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.createLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg0); (Java.java.nio.file.Files_static.createLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.createSymbolicLink(java.nio.file.Path,java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "createSymbolicLink" "(Ljava/nio/file/Path;Ljava/nio/file/Path;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (Java.java.nio.file.Files_static.createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.Files_static.createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg2)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.createTempDirectory(java.lang.String,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createTempDirectory_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 String, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "createTempDirectory" "(Ljava/lang/String;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/file/Path;" [(fuzion.java.string_to_java_object Java.java.nio.file.Files_static.createTempDirectory_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.Files_static.createTempDirectory_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.createTempDirectory(java.nio.file.Path,java.lang.String,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createTempDirectory_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 String, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "createTempDirectory" "(Ljava/nio/file/Path;Ljava/lang/String;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.createTempDirectory_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.nio.file.Files_static.createTempDirectory_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.Files_static.createTempDirectory_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg2)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.createTempFile(java.lang.String,java.lang.String,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 String, arg1 String, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "createTempFile" "(Ljava/lang/String;Ljava/lang/String;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/file/Path;" [(fuzion.java.string_to_java_object Java.java.nio.file.Files_static.createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.nio.file.Files_static.createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.Files_static.createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg2)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.createTempFile(java.nio.file.Path,java.lang.String,java.lang.String,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createTempFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 String, arg2 String, arg3 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "createTempFile" "(Ljava/nio/file/Path;Ljava/lang/String;Ljava/lang/String;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.createTempFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.nio.file.Files_static.createTempFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1); (fuzion.java.string_to_java_object Java.java.nio.file.Files_static.createTempFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg2); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.Files_static.createTempFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg3)]

  # call Java static method 'public static boolean java.nio.file.Files.deleteIfExists(java.nio.file.Path) throws java.io.IOException':
  #
  public deleteIfExists_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (bool) =>
    fuzion.java.call_static (outcome (bool)) "java.nio.file.Files" "deleteIfExists" "(Ljava/nio/file/Path;)Z" [(Java.java.nio.file.Files_static.deleteIfExists_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static void java.nio.file.Files.delete(java.nio.file.Path) throws java.io.IOException':
  #
  public delete_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (unit) =>
    fuzion.java.call_static (outcome (unit)) "java.nio.file.Files" "delete" "(Ljava/nio/file/Path;)V" [(Java.java.nio.file.Files_static.delete_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static boolean java.nio.file.Files.exists(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public exists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) bool =>
    fuzion.java.call_static (bool) "java.nio.file.Files" "exists" "(Ljava/nio/file/Path;[Ljava/nio/file/LinkOption;)Z" [(Java.java.nio.file.Files_static.exists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.exists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1)]

  # call Java static method 'public static java.util.stream.Stream java.nio.file.Files.find(java.nio.file.Path,int,java.util.function.BiPredicate,java.nio.file.FileVisitOption[]) throws java.io.IOException':
  #
  public find_Ljava_7_nio_7_file_7_Path_s_ILjava_7_util_7_function_7_BiPredicate_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_(arg0 Java.java.nio.file.Path, arg1 i32, arg2 Java.java.util.function.BiPredicate, arg3 Sequence (Java.java.nio.file.FileVisitOption)) outcome (Java.java.util.stream.Stream) =>
    fuzion.java.call_static (outcome (Java.java.util.stream.Stream)) "java.nio.file.Files" "find" "(Ljava/nio/file/Path;ILjava/util/function/BiPredicate;[Ljava/nio/file/FileVisitOption;)Ljava/util/stream/Stream;" [(Java.java.nio.file.Files_static.find_Ljava_7_nio_7_file_7_Path_s_ILjava_7_util_7_function_7_BiPredicate_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_.this.arg0); (fuzion.java.i32_to_java_object Java.java.nio.file.Files_static.find_Ljava_7_nio_7_file_7_Path_s_ILjava_7_util_7_function_7_BiPredicate_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_.this.arg1); (Java.java.nio.file.Files_static.find_Ljava_7_nio_7_file_7_Path_s_ILjava_7_util_7_function_7_BiPredicate_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_.this.arg2); (fuzion.java.array_to_java_object (Java.java.nio.file.FileVisitOption) Java.java.nio.file.Files_static.find_Ljava_7_nio_7_file_7_Path_s_ILjava_7_util_7_function_7_BiPredicate_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_.this.arg3)]

  # call Java static method 'public static java.lang.Object java.nio.file.Files.getAttribute(java.nio.file.Path,java.lang.String,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public getAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 String, arg2 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.lang.Object) =>
    fuzion.java.call_static (outcome (Java.java.lang.Object)) "java.nio.file.Files" "getAttribute" "(Ljava/nio/file/Path;Ljava/lang/String;[Ljava/nio/file/LinkOption;)Ljava/lang/Object;" [(Java.java.nio.file.Files_static.getAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.nio.file.Files_static.getAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.getAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2)]

  # call Java static method 'public static java.nio.file.attribute.FileAttributeView java.nio.file.Files.getFileAttributeView(java.nio.file.Path,java.lang.Class,java.nio.file.LinkOption[])':
  #
  public getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Class, arg2 Sequence (Java.java.nio.file.LinkOption)) Java.java.nio.file.attribute.FileAttributeView =>
    fuzion.java.call_static (Java.java.nio.file.attribute.FileAttributeView) "java.nio.file.Files" "getFileAttributeView" "(Ljava/nio/file/Path;Ljava/lang/Class;[Ljava/nio/file/LinkOption;)Ljava/nio/file/attribute/FileAttributeView;" [(Java.java.nio.file.Files_static.getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (Java.java.nio.file.Files_static.getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2)]

  # call Java static method 'public static java.nio.file.FileStore java.nio.file.Files.getFileStore(java.nio.file.Path) throws java.io.IOException':
  #
  public getFileStore_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.nio.file.FileStore) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.FileStore)) "java.nio.file.Files" "getFileStore" "(Ljava/nio/file/Path;)Ljava/nio/file/FileStore;" [(Java.java.nio.file.Files_static.getFileStore_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.nio.file.attribute.FileTime java.nio.file.Files.getLastModifiedTime(java.nio.file.Path,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public getLastModifiedTime_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.nio.file.attribute.FileTime) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.attribute.FileTime)) "java.nio.file.Files" "getLastModifiedTime" "(Ljava/nio/file/Path;[Ljava/nio/file/LinkOption;)Ljava/nio/file/attribute/FileTime;" [(Java.java.nio.file.Files_static.getLastModifiedTime_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.getLastModifiedTime_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.attribute.UserPrincipal java.nio.file.Files.getOwner(java.nio.file.Path,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public getOwner_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.nio.file.attribute.UserPrincipal) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.attribute.UserPrincipal)) "java.nio.file.Files" "getOwner" "(Ljava/nio/file/Path;[Ljava/nio/file/LinkOption;)Ljava/nio/file/attribute/UserPrincipal;" [(Java.java.nio.file.Files_static.getOwner_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.getOwner_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1)]

  # call Java static method 'public static java.util.Set java.nio.file.Files.getPosixFilePermissions(java.nio.file.Path,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public getPosixFilePermissions_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.util.Set) =>
    fuzion.java.call_static (outcome (Java.java.util.Set)) "java.nio.file.Files" "getPosixFilePermissions" "(Ljava/nio/file/Path;[Ljava/nio/file/LinkOption;)Ljava/util/Set;" [(Java.java.nio.file.Files_static.getPosixFilePermissions_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.getPosixFilePermissions_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1)]

  # call Java static method 'public static boolean java.nio.file.Files.isDirectory(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public isDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) bool =>
    fuzion.java.call_static (bool) "java.nio.file.Files" "isDirectory" "(Ljava/nio/file/Path;[Ljava/nio/file/LinkOption;)Z" [(Java.java.nio.file.Files_static.isDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.isDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1)]

  # call Java static method 'public static boolean java.nio.file.Files.isExecutable(java.nio.file.Path)':
  #
  public isExecutable_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) bool =>
    fuzion.java.call_static (bool) "java.nio.file.Files" "isExecutable" "(Ljava/nio/file/Path;)Z" [(Java.java.nio.file.Files_static.isExecutable_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static boolean java.nio.file.Files.isHidden(java.nio.file.Path) throws java.io.IOException':
  #
  public isHidden_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (bool) =>
    fuzion.java.call_static (outcome (bool)) "java.nio.file.Files" "isHidden" "(Ljava/nio/file/Path;)Z" [(Java.java.nio.file.Files_static.isHidden_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static boolean java.nio.file.Files.isReadable(java.nio.file.Path)':
  #
  public isReadable_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) bool =>
    fuzion.java.call_static (bool) "java.nio.file.Files" "isReadable" "(Ljava/nio/file/Path;)Z" [(Java.java.nio.file.Files_static.isReadable_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static boolean java.nio.file.Files.isRegularFile(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public isRegularFile_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) bool =>
    fuzion.java.call_static (bool) "java.nio.file.Files" "isRegularFile" "(Ljava/nio/file/Path;[Ljava/nio/file/LinkOption;)Z" [(Java.java.nio.file.Files_static.isRegularFile_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.isRegularFile_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1)]

  # call Java static method 'public static boolean java.nio.file.Files.isSameFile(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public isSameFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) outcome (bool) =>
    fuzion.java.call_static (outcome (bool)) "java.nio.file.Files" "isSameFile" "(Ljava/nio/file/Path;Ljava/nio/file/Path;)Z" [(Java.java.nio.file.Files_static.isSameFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg0); (Java.java.nio.file.Files_static.isSameFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg1)]

  # call Java static method 'public static boolean java.nio.file.Files.isSymbolicLink(java.nio.file.Path)':
  #
  public isSymbolicLink_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) bool =>
    fuzion.java.call_static (bool) "java.nio.file.Files" "isSymbolicLink" "(Ljava/nio/file/Path;)Z" [(Java.java.nio.file.Files_static.isSymbolicLink_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static boolean java.nio.file.Files.isWritable(java.nio.file.Path)':
  #
  public isWritable_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) bool =>
    fuzion.java.call_static (bool) "java.nio.file.Files" "isWritable" "(Ljava/nio/file/Path;)Z" [(Java.java.nio.file.Files_static.isWritable_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.util.stream.Stream java.nio.file.Files.lines(java.nio.file.Path) throws java.io.IOException':
  #
  public lines_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.util.stream.Stream) =>
    fuzion.java.call_static (outcome (Java.java.util.stream.Stream)) "java.nio.file.Files" "lines" "(Ljava/nio/file/Path;)Ljava/util/stream/Stream;" [(Java.java.nio.file.Files_static.lines_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.util.stream.Stream java.nio.file.Files.lines(java.nio.file.Path,java.nio.charset.Charset) throws java.io.IOException':
  #
  public lines_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset) outcome (Java.java.util.stream.Stream) =>
    fuzion.java.call_static (outcome (Java.java.util.stream.Stream)) "java.nio.file.Files" "lines" "(Ljava/nio/file/Path;Ljava/nio/charset/Charset;)Ljava/util/stream/Stream;" [(Java.java.nio.file.Files_static.lines_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg0); (Java.java.nio.file.Files_static.lines_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg1)]

  # call Java static method 'public static java.util.stream.Stream java.nio.file.Files.list(java.nio.file.Path) throws java.io.IOException':
  #
  public list_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.util.stream.Stream) =>
    fuzion.java.call_static (outcome (Java.java.util.stream.Stream)) "java.nio.file.Files" "list" "(Ljava/nio/file/Path;)Ljava/util/stream/Stream;" [(Java.java.nio.file.Files_static.list_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static long java.nio.file.Files.mismatch(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public mismatch_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) outcome (i64) =>
    fuzion.java.call_static (outcome (i64)) "java.nio.file.Files" "mismatch" "(Ljava/nio/file/Path;Ljava/nio/file/Path;)J" [(Java.java.nio.file.Files_static.mismatch_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg0); (Java.java.nio.file.Files_static.mismatch_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.move(java.nio.file.Path,java.nio.file.Path,java.nio.file.CopyOption[]) throws java.io.IOException':
  #
  public move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.CopyOption)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "move" "(Ljava/nio/file/Path;Ljava/nio/file/Path;[Ljava/nio/file/CopyOption;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg0); (Java.java.nio.file.Files_static.move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.CopyOption) Java.java.nio.file.Files_static.move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg2)]

  # call Java static method 'public static java.io.BufferedReader java.nio.file.Files.newBufferedReader(java.nio.file.Path) throws java.io.IOException':
  #
  public newBufferedReader_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.io.BufferedReader) =>
    fuzion.java.call_static (outcome (Java.java.io.BufferedReader)) "java.nio.file.Files" "newBufferedReader" "(Ljava/nio/file/Path;)Ljava/io/BufferedReader;" [(Java.java.nio.file.Files_static.newBufferedReader_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.io.BufferedReader java.nio.file.Files.newBufferedReader(java.nio.file.Path,java.nio.charset.Charset) throws java.io.IOException':
  #
  public newBufferedReader_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset) outcome (Java.java.io.BufferedReader) =>
    fuzion.java.call_static (outcome (Java.java.io.BufferedReader)) "java.nio.file.Files" "newBufferedReader" "(Ljava/nio/file/Path;Ljava/nio/charset/Charset;)Ljava/io/BufferedReader;" [(Java.java.nio.file.Files_static.newBufferedReader_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg0); (Java.java.nio.file.Files_static.newBufferedReader_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg1)]

  # call Java static method 'public static java.io.BufferedWriter java.nio.file.Files.newBufferedWriter(java.nio.file.Path,java.nio.charset.Charset,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newBufferedWriter_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset, arg2 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.io.BufferedWriter) =>
    fuzion.java.call_static (outcome (Java.java.io.BufferedWriter)) "java.nio.file.Files" "newBufferedWriter" "(Ljava/nio/file/Path;Ljava/nio/charset/Charset;[Ljava/nio/file/OpenOption;)Ljava/io/BufferedWriter;" [(Java.java.nio.file.Files_static.newBufferedWriter_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (Java.java.nio.file.Files_static.newBufferedWriter_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.newBufferedWriter_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg2)]

  # call Java static method 'public static java.io.BufferedWriter java.nio.file.Files.newBufferedWriter(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newBufferedWriter_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.io.BufferedWriter) =>
    fuzion.java.call_static (outcome (Java.java.io.BufferedWriter)) "java.nio.file.Files" "newBufferedWriter" "(Ljava/nio/file/Path;[Ljava/nio/file/OpenOption;)Ljava/io/BufferedWriter;" [(Java.java.nio.file.Files_static.newBufferedWriter_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.newBufferedWriter_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1)]

  # call Java static method 'public static java.nio.channels.SeekableByteChannel java.nio.file.Files.newByteChannel(java.nio.file.Path,java.util.Set,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.channels.SeekableByteChannel) =>
    fuzion.java.call_static (outcome (Java.java.nio.channels.SeekableByteChannel)) "java.nio.file.Files" "newByteChannel" "(Ljava/nio/file/Path;Ljava/util/Set;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/channels/SeekableByteChannel;" [(Java.java.nio.file.Files_static.newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (Java.java.nio.file.Files_static.newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.Files_static.newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg2)]

  # call Java static method 'public static java.nio.channels.SeekableByteChannel java.nio.file.Files.newByteChannel(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newByteChannel_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.nio.channels.SeekableByteChannel) =>
    fuzion.java.call_static (outcome (Java.java.nio.channels.SeekableByteChannel)) "java.nio.file.Files" "newByteChannel" "(Ljava/nio/file/Path;[Ljava/nio/file/OpenOption;)Ljava/nio/channels/SeekableByteChannel;" [(Java.java.nio.file.Files_static.newByteChannel_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.newByteChannel_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.DirectoryStream java.nio.file.Files.newDirectoryStream(java.nio.file.Path) throws java.io.IOException':
  #
  public newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.nio.file.DirectoryStream) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.DirectoryStream)) "java.nio.file.Files" "newDirectoryStream" "(Ljava/nio/file/Path;)Ljava/nio/file/DirectoryStream;" [(Java.java.nio.file.Files_static.newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.nio.file.DirectoryStream java.nio.file.Files.newDirectoryStream(java.nio.file.Path,java.lang.String) throws java.io.IOException':
  #
  public newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_(arg0 Java.java.nio.file.Path, arg1 String) outcome (Java.java.nio.file.DirectoryStream) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.DirectoryStream)) "java.nio.file.Files" "newDirectoryStream" "(Ljava/nio/file/Path;Ljava/lang/String;)Ljava/nio/file/DirectoryStream;" [(Java.java.nio.file.Files_static.newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.nio.file.Files_static.newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.DirectoryStream java.nio.file.Files.newDirectoryStream(java.nio.file.Path,java.nio.file.DirectoryStream$Filter) throws java.io.IOException':
  #
  public newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_DirectoryStream_S_Filter_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.DirectoryStream_S_Filter) outcome (Java.java.nio.file.DirectoryStream) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.DirectoryStream)) "java.nio.file.Files" "newDirectoryStream" "(Ljava/nio/file/Path;Ljava/nio/file/DirectoryStream\$Filter;)Ljava/nio/file/DirectoryStream;" [(Java.java.nio.file.Files_static.newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_DirectoryStream_S_Filter_s_.this.arg0); (Java.java.nio.file.Files_static.newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_DirectoryStream_S_Filter_s_.this.arg1)]

  # call Java static method 'public static java.io.InputStream java.nio.file.Files.newInputStream(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newInputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.io.InputStream) =>
    fuzion.java.call_static (outcome (Java.java.io.InputStream)) "java.nio.file.Files" "newInputStream" "(Ljava/nio/file/Path;[Ljava/nio/file/OpenOption;)Ljava/io/InputStream;" [(Java.java.nio.file.Files_static.newInputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.newInputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1)]

  # call Java static method 'public static java.io.OutputStream java.nio.file.Files.newOutputStream(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newOutputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.io.OutputStream) =>
    fuzion.java.call_static (outcome (Java.java.io.OutputStream)) "java.nio.file.Files" "newOutputStream" "(Ljava/nio/file/Path;[Ljava/nio/file/OpenOption;)Ljava/io/OutputStream;" [(Java.java.nio.file.Files_static.newOutputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.newOutputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1)]

  # call Java static method 'public static boolean java.nio.file.Files.notExists(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public notExists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) bool =>
    fuzion.java.call_static (bool) "java.nio.file.Files" "notExists" "(Ljava/nio/file/Path;[Ljava/nio/file/LinkOption;)Z" [(Java.java.nio.file.Files_static.notExists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.notExists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1)]

  # call Java static method 'public static java.lang.String java.nio.file.Files.probeContentType(java.nio.file.Path) throws java.io.IOException':
  #
  public probeContentType_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.lang.__jString) =>
    fuzion.java.call_static (outcome (Java.java.lang.__jString)) "java.nio.file.Files" "probeContentType" "(Ljava/nio/file/Path;)Ljava/lang/String;" [(Java.java.nio.file.Files_static.probeContentType_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static byte[] java.nio.file.Files.readAllBytes(java.nio.file.Path) throws java.io.IOException':
  #
  public readAllBytes_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_static (outcome (fuzion.java.Array (i8))) "java.nio.file.Files" "readAllBytes" "(Ljava/nio/file/Path;)[B" [(Java.java.nio.file.Files_static.readAllBytes_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.util.List java.nio.file.Files.readAllLines(java.nio.file.Path) throws java.io.IOException':
  #
  public readAllLines_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.util.List) =>
    fuzion.java.call_static (outcome (Java.java.util.List)) "java.nio.file.Files" "readAllLines" "(Ljava/nio/file/Path;)Ljava/util/List;" [(Java.java.nio.file.Files_static.readAllLines_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.util.List java.nio.file.Files.readAllLines(java.nio.file.Path,java.nio.charset.Charset) throws java.io.IOException':
  #
  public readAllLines_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset) outcome (Java.java.util.List) =>
    fuzion.java.call_static (outcome (Java.java.util.List)) "java.nio.file.Files" "readAllLines" "(Ljava/nio/file/Path;Ljava/nio/charset/Charset;)Ljava/util/List;" [(Java.java.nio.file.Files_static.readAllLines_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg0); (Java.java.nio.file.Files_static.readAllLines_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.attribute.BasicFileAttributes java.nio.file.Files.readAttributes(java.nio.file.Path,java.lang.Class,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Class, arg2 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.nio.file.attribute.BasicFileAttributes) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.attribute.BasicFileAttributes)) "java.nio.file.Files" "readAttributes" "(Ljava/nio/file/Path;Ljava/lang/Class;[Ljava/nio/file/LinkOption;)Ljava/nio/file/attribute/BasicFileAttributes;" [(Java.java.nio.file.Files_static.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (Java.java.nio.file.Files_static.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2)]

  # call Java static method 'public static java.util.Map java.nio.file.Files.readAttributes(java.nio.file.Path,java.lang.String,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 String, arg2 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.util.Map) =>
    fuzion.java.call_static (outcome (Java.java.util.Map)) "java.nio.file.Files" "readAttributes" "(Ljava/nio/file/Path;Ljava/lang/String;[Ljava/nio/file/LinkOption;)Ljava/util/Map;" [(Java.java.nio.file.Files_static.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.nio.file.Files_static.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2)]

  # call Java static method 'public static java.lang.String java.nio.file.Files.readString(java.nio.file.Path) throws java.io.IOException':
  #
  public readString_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.lang.__jString) =>
    fuzion.java.call_static (outcome (Java.java.lang.__jString)) "java.nio.file.Files" "readString" "(Ljava/nio/file/Path;)Ljava/lang/String;" [(Java.java.nio.file.Files_static.readString_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.lang.String java.nio.file.Files.readString(java.nio.file.Path,java.nio.charset.Charset) throws java.io.IOException':
  #
  public readString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset) outcome (Java.java.lang.__jString) =>
    fuzion.java.call_static (outcome (Java.java.lang.__jString)) "java.nio.file.Files" "readString" "(Ljava/nio/file/Path;Ljava/nio/charset/Charset;)Ljava/lang/String;" [(Java.java.nio.file.Files_static.readString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg0); (Java.java.nio.file.Files_static.readString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.readSymbolicLink(java.nio.file.Path) throws java.io.IOException':
  #
  public readSymbolicLink_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "readSymbolicLink" "(Ljava/nio/file/Path;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.readSymbolicLink_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.setAttribute(java.nio.file.Path,java.lang.String,java.lang.Object,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 String, arg2 Java.java.lang.Object, arg3 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "setAttribute" "(Ljava/nio/file/Path;Ljava/lang/String;Ljava/lang/Object;[Ljava/nio/file/LinkOption;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.nio.file.Files_static.setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (Java.java.nio.file.Files_static.setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.Files_static.setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg3)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.setLastModifiedTime(java.nio.file.Path,java.nio.file.attribute.FileTime) throws java.io.IOException':
  #
  public setLastModifiedTime_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.attribute.FileTime) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "setLastModifiedTime" "(Ljava/nio/file/Path;Ljava/nio/file/attribute/FileTime;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.setLastModifiedTime_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_.this.arg0); (Java.java.nio.file.Files_static.setLastModifiedTime_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.setOwner(java.nio.file.Path,java.nio.file.attribute.UserPrincipal) throws java.io.IOException':
  #
  public setOwner_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_attribute_7_UserPrincipal_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.attribute.UserPrincipal) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "setOwner" "(Ljava/nio/file/Path;Ljava/nio/file/attribute/UserPrincipal;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.setOwner_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_attribute_7_UserPrincipal_s_.this.arg0); (Java.java.nio.file.Files_static.setOwner_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_attribute_7_UserPrincipal_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.setPosixFilePermissions(java.nio.file.Path,java.util.Set) throws java.io.IOException':
  #
  public setPosixFilePermissions_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "setPosixFilePermissions" "(Ljava/nio/file/Path;Ljava/util/Set;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.setPosixFilePermissions_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_.this.arg0); (Java.java.nio.file.Files_static.setPosixFilePermissions_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_.this.arg1)]

  # call Java static method 'public static long java.nio.file.Files.size(java.nio.file.Path) throws java.io.IOException':
  #
  public size_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (i64) =>
    fuzion.java.call_static (outcome (i64)) "java.nio.file.Files" "size" "(Ljava/nio/file/Path;)J" [(Java.java.nio.file.Files_static.size_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.walkFileTree(java.nio.file.Path,java.nio.file.FileVisitor) throws java.io.IOException':
  #
  public walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_FileVisitor_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.FileVisitor) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "walkFileTree" "(Ljava/nio/file/Path;Ljava/nio/file/FileVisitor;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_FileVisitor_s_.this.arg0); (Java.java.nio.file.Files_static.walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_FileVisitor_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.walkFileTree(java.nio.file.Path,java.util.Set,int,java.nio.file.FileVisitor) throws java.io.IOException':
  #
  public walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_ILjava_7_nio_7_file_7_FileVisitor_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 i32, arg3 Java.java.nio.file.FileVisitor) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "walkFileTree" "(Ljava/nio/file/Path;Ljava/util/Set;ILjava/nio/file/FileVisitor;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_ILjava_7_nio_7_file_7_FileVisitor_s_.this.arg0); (Java.java.nio.file.Files_static.walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_ILjava_7_nio_7_file_7_FileVisitor_s_.this.arg1); (fuzion.java.i32_to_java_object Java.java.nio.file.Files_static.walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_ILjava_7_nio_7_file_7_FileVisitor_s_.this.arg2); (Java.java.nio.file.Files_static.walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_ILjava_7_nio_7_file_7_FileVisitor_s_.this.arg3)]

  # call Java static method 'public static java.util.stream.Stream java.nio.file.Files.walk(java.nio.file.Path,int,java.nio.file.FileVisitOption[]) throws java.io.IOException':
  #
  public walk_Ljava_7_nio_7_file_7_Path_s_I_u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_(arg0 Java.java.nio.file.Path, arg1 i32, arg2 Sequence (Java.java.nio.file.FileVisitOption)) outcome (Java.java.util.stream.Stream) =>
    fuzion.java.call_static (outcome (Java.java.util.stream.Stream)) "java.nio.file.Files" "walk" "(Ljava/nio/file/Path;I[Ljava/nio/file/FileVisitOption;)Ljava/util/stream/Stream;" [(Java.java.nio.file.Files_static.walk_Ljava_7_nio_7_file_7_Path_s_I_u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_.this.arg0); (fuzion.java.i32_to_java_object Java.java.nio.file.Files_static.walk_Ljava_7_nio_7_file_7_Path_s_I_u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.FileVisitOption) Java.java.nio.file.Files_static.walk_Ljava_7_nio_7_file_7_Path_s_I_u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_.this.arg2)]

  # call Java static method 'public static java.util.stream.Stream java.nio.file.Files.walk(java.nio.file.Path,java.nio.file.FileVisitOption[]) throws java.io.IOException':
  #
  public walk_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.FileVisitOption)) outcome (Java.java.util.stream.Stream) =>
    fuzion.java.call_static (outcome (Java.java.util.stream.Stream)) "java.nio.file.Files" "walk" "(Ljava/nio/file/Path;[Ljava/nio/file/FileVisitOption;)Ljava/util/stream/Stream;" [(Java.java.nio.file.Files_static.walk_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.FileVisitOption) Java.java.nio.file.Files_static.walk_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_.this.arg1)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.writeString(java.nio.file.Path,java.lang.CharSequence,java.nio.charset.Charset,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.CharSequence, arg2 Java.java.nio.charset.Charset, arg3 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "writeString" "(Ljava/nio/file/Path;Ljava/lang/CharSequence;Ljava/nio/charset/Charset;[Ljava/nio/file/OpenOption;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (Java.java.nio.file.Files_static.writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1); (Java.java.nio.file.Files_static.writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg2); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg3)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.writeString(java.nio.file.Path,java.lang.CharSequence,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.CharSequence, arg2 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "writeString" "(Ljava/nio/file/Path;Ljava/lang/CharSequence;[Ljava/nio/file/OpenOption;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (Java.java.nio.file.Files_static.writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg2)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.write(java.nio.file.Path,java.lang.Iterable,java.nio.charset.Charset,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Iterable, arg2 Java.java.nio.charset.Charset, arg3 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "write" "(Ljava/nio/file/Path;Ljava/lang/Iterable;Ljava/nio/charset/Charset;[Ljava/nio/file/OpenOption;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1); (Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg2); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg3)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.write(java.nio.file.Path,java.lang.Iterable,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Iterable, arg2 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "write" "(Ljava/nio/file/Path;Ljava/lang/Iterable;[Ljava/nio/file/OpenOption;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg2)]

  # call Java static method 'public static java.nio.file.Path java.nio.file.Files.write(java.nio.file.Path,byte[],java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public write_Ljava_7_nio_7_file_7_Path_s__u00005b_B_u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (i8), arg2 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "java.nio.file.Files" "write" "(Ljava/nio/file/Path;[B[Ljava/nio/file/OpenOption;)Ljava/nio/file/Path;" [(Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s__u00005b_B_u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (fuzion.java.array_to_java_object (i8) Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s__u00005b_B_u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.Files_static.write_Ljava_7_nio_7_file_7_Path_s__u00005b_B_u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg2)]

  # short-hand to call Java method 'public static long java.nio.file.Files.copy(java.nio.file.Path,java.io.OutputStream) throws java.io.IOException':
  #
  public copy(arg0 Java.java.nio.file.Path, arg1 Java.java.io.OutputStream) (outcome (i64)) =>
    copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_io_7_OutputStream_s_ Java.java.nio.file.Files_static.copy.this.arg0 Java.java.nio.file.Files_static.copy.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.copy(java.nio.file.Path,java.nio.file.Path,java.nio.file.CopyOption[]) throws java.io.IOException':
  #
  public copy(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.CopyOption)) (outcome (Java.java.nio.file.Path)) =>
    copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_ Java.java.nio.file.Files_static.copy.this.arg0 Java.java.nio.file.Files_static.copy.this.arg1 Java.java.nio.file.Files_static.copy.this.arg2

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.createDirectories(java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createDirectories(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.file.Path)) =>
    createDirectories_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.Files_static.createDirectories.this.arg0 Java.java.nio.file.Files_static.createDirectories.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.createDirectory(java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createDirectory(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.file.Path)) =>
    createDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.Files_static.createDirectory.this.arg0 Java.java.nio.file.Files_static.createDirectory.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.createFile(java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createFile(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.file.Path)) =>
    createFile_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.Files_static.createFile.this.arg0 Java.java.nio.file.Files_static.createFile.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.createLink(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public createLink(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) (outcome (Java.java.nio.file.Path)) =>
    createLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.createLink.this.arg0 Java.java.nio.file.Files_static.createLink.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.createSymbolicLink(java.nio.file.Path,java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createSymbolicLink(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.file.Path)) =>
    createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.Files_static.createSymbolicLink.this.arg0 Java.java.nio.file.Files_static.createSymbolicLink.this.arg1 Java.java.nio.file.Files_static.createSymbolicLink.this.arg2

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.createTempDirectory(java.lang.String,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createTempDirectory(arg0 String, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.file.Path)) =>
    createTempDirectory_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.Files_static.createTempDirectory.this.arg0 Java.java.nio.file.Files_static.createTempDirectory.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.createTempDirectory(java.nio.file.Path,java.lang.String,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createTempDirectory(arg0 Java.java.nio.file.Path, arg1 String, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.file.Path)) =>
    createTempDirectory_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.Files_static.createTempDirectory.this.arg0 Java.java.nio.file.Files_static.createTempDirectory.this.arg1 Java.java.nio.file.Files_static.createTempDirectory.this.arg2

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.createTempFile(java.lang.String,java.lang.String,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createTempFile(arg0 String, arg1 String, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.file.Path)) =>
    createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.Files_static.createTempFile.this.arg0 Java.java.nio.file.Files_static.createTempFile.this.arg1 Java.java.nio.file.Files_static.createTempFile.this.arg2

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.createTempFile(java.nio.file.Path,java.lang.String,java.lang.String,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createTempFile(arg0 Java.java.nio.file.Path, arg1 String, arg2 String, arg3 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.file.Path)) =>
    createTempFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.Files_static.createTempFile.this.arg0 Java.java.nio.file.Files_static.createTempFile.this.arg1 Java.java.nio.file.Files_static.createTempFile.this.arg2 Java.java.nio.file.Files_static.createTempFile.this.arg3

  # short-hand to call Java method 'public static void java.nio.file.Files.delete(java.nio.file.Path) throws java.io.IOException':
  #
  public delete(arg0 Java.java.nio.file.Path) (outcome (unit)) =>
    delete_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.delete.this.arg0

  # short-hand to call Java method 'public static boolean java.nio.file.Files.deleteIfExists(java.nio.file.Path) throws java.io.IOException':
  #
  public deleteIfExists(arg0 Java.java.nio.file.Path) (outcome (bool)) =>
    deleteIfExists_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.deleteIfExists.this.arg0

  # short-hand to call Java method 'public static boolean java.nio.file.Files.exists(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public exists(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) (bool) =>
    exists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.exists.this.arg0 Java.java.nio.file.Files_static.exists.this.arg1

  # short-hand to call Java method 'public static java.util.stream.Stream java.nio.file.Files.find(java.nio.file.Path,int,java.util.function.BiPredicate,java.nio.file.FileVisitOption[]) throws java.io.IOException':
  #
  public find(arg0 Java.java.nio.file.Path, arg1 i32, arg2 Java.java.util.function.BiPredicate, arg3 Sequence (Java.java.nio.file.FileVisitOption)) (outcome (Java.java.util.stream.Stream)) =>
    find_Ljava_7_nio_7_file_7_Path_s_ILjava_7_util_7_function_7_BiPredicate_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_ Java.java.nio.file.Files_static.find.this.arg0 Java.java.nio.file.Files_static.find.this.arg1 Java.java.nio.file.Files_static.find.this.arg2 Java.java.nio.file.Files_static.find.this.arg3

  # short-hand to call Java method 'public static java.lang.Object java.nio.file.Files.getAttribute(java.nio.file.Path,java.lang.String,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public getAttribute(arg0 Java.java.nio.file.Path, arg1 String, arg2 Sequence (Java.java.nio.file.LinkOption)) (outcome (Java.java.lang.Object)) =>
    getAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.getAttribute.this.arg0 Java.java.nio.file.Files_static.getAttribute.this.arg1 Java.java.nio.file.Files_static.getAttribute.this.arg2

  # short-hand to call Java method 'public static java.nio.file.attribute.FileAttributeView java.nio.file.Files.getFileAttributeView(java.nio.file.Path,java.lang.Class,java.nio.file.LinkOption[])':
  #
  public getFileAttributeView(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Class, arg2 Sequence (Java.java.nio.file.LinkOption)) (Java.java.nio.file.attribute.FileAttributeView) =>
    getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.getFileAttributeView.this.arg0 Java.java.nio.file.Files_static.getFileAttributeView.this.arg1 Java.java.nio.file.Files_static.getFileAttributeView.this.arg2

  # short-hand to call Java method 'public static java.nio.file.FileStore java.nio.file.Files.getFileStore(java.nio.file.Path) throws java.io.IOException':
  #
  public getFileStore(arg0 Java.java.nio.file.Path) (outcome (Java.java.nio.file.FileStore)) =>
    getFileStore_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.getFileStore.this.arg0

  # short-hand to call Java method 'public static java.nio.file.attribute.FileTime java.nio.file.Files.getLastModifiedTime(java.nio.file.Path,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public getLastModifiedTime(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) (outcome (Java.java.nio.file.attribute.FileTime)) =>
    getLastModifiedTime_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.getLastModifiedTime.this.arg0 Java.java.nio.file.Files_static.getLastModifiedTime.this.arg1

  # short-hand to call Java method 'public static java.nio.file.attribute.UserPrincipal java.nio.file.Files.getOwner(java.nio.file.Path,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public getOwner(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) (outcome (Java.java.nio.file.attribute.UserPrincipal)) =>
    getOwner_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.getOwner.this.arg0 Java.java.nio.file.Files_static.getOwner.this.arg1

  # short-hand to call Java method 'public static java.util.Set java.nio.file.Files.getPosixFilePermissions(java.nio.file.Path,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public getPosixFilePermissions(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) (outcome (Java.java.util.Set)) =>
    getPosixFilePermissions_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.getPosixFilePermissions.this.arg0 Java.java.nio.file.Files_static.getPosixFilePermissions.this.arg1

  # short-hand to call Java method 'public static boolean java.nio.file.Files.isDirectory(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public isDirectory(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) (bool) =>
    isDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.isDirectory.this.arg0 Java.java.nio.file.Files_static.isDirectory.this.arg1

  # short-hand to call Java method 'public static boolean java.nio.file.Files.isExecutable(java.nio.file.Path)':
  #
  public isExecutable(arg0 Java.java.nio.file.Path) (bool) =>
    isExecutable_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.isExecutable.this.arg0

  # short-hand to call Java method 'public static boolean java.nio.file.Files.isHidden(java.nio.file.Path) throws java.io.IOException':
  #
  public isHidden(arg0 Java.java.nio.file.Path) (outcome (bool)) =>
    isHidden_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.isHidden.this.arg0

  # short-hand to call Java method 'public static boolean java.nio.file.Files.isReadable(java.nio.file.Path)':
  #
  public isReadable(arg0 Java.java.nio.file.Path) (bool) =>
    isReadable_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.isReadable.this.arg0

  # short-hand to call Java method 'public static boolean java.nio.file.Files.isRegularFile(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public isRegularFile(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) (bool) =>
    isRegularFile_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.isRegularFile.this.arg0 Java.java.nio.file.Files_static.isRegularFile.this.arg1

  # short-hand to call Java method 'public static boolean java.nio.file.Files.isSameFile(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public isSameFile(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) (outcome (bool)) =>
    isSameFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.isSameFile.this.arg0 Java.java.nio.file.Files_static.isSameFile.this.arg1

  # short-hand to call Java method 'public static boolean java.nio.file.Files.isSymbolicLink(java.nio.file.Path)':
  #
  public isSymbolicLink(arg0 Java.java.nio.file.Path) (bool) =>
    isSymbolicLink_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.isSymbolicLink.this.arg0

  # short-hand to call Java method 'public static boolean java.nio.file.Files.isWritable(java.nio.file.Path)':
  #
  public isWritable(arg0 Java.java.nio.file.Path) (bool) =>
    isWritable_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.isWritable.this.arg0

  # short-hand to call Java method 'public static java.util.stream.Stream java.nio.file.Files.lines(java.nio.file.Path) throws java.io.IOException':
  #
  public lines(arg0 Java.java.nio.file.Path) (outcome (Java.java.util.stream.Stream)) =>
    lines_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.lines.this.arg0

  # short-hand to call Java method 'public static java.util.stream.Stream java.nio.file.Files.lines(java.nio.file.Path,java.nio.charset.Charset) throws java.io.IOException':
  #
  public lines(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset) (outcome (Java.java.util.stream.Stream)) =>
    lines_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_ Java.java.nio.file.Files_static.lines.this.arg0 Java.java.nio.file.Files_static.lines.this.arg1

  # short-hand to call Java method 'public static java.util.stream.Stream java.nio.file.Files.list(java.nio.file.Path) throws java.io.IOException':
  #
  public list(arg0 Java.java.nio.file.Path) (outcome (Java.java.util.stream.Stream)) =>
    list_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.list.this.arg0

  # short-hand to call Java method 'public static long java.nio.file.Files.mismatch(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public mismatch(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) (outcome (i64)) =>
    mismatch_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.mismatch.this.arg0 Java.java.nio.file.Files_static.mismatch.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.move(java.nio.file.Path,java.nio.file.Path,java.nio.file.CopyOption[]) throws java.io.IOException':
  #
  public move(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.CopyOption)) (outcome (Java.java.nio.file.Path)) =>
    move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_ Java.java.nio.file.Files_static.move.this.arg0 Java.java.nio.file.Files_static.move.this.arg1 Java.java.nio.file.Files_static.move.this.arg2

  # short-hand to call Java method 'public static java.io.BufferedReader java.nio.file.Files.newBufferedReader(java.nio.file.Path) throws java.io.IOException':
  #
  public newBufferedReader(arg0 Java.java.nio.file.Path) (outcome (Java.java.io.BufferedReader)) =>
    newBufferedReader_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.newBufferedReader.this.arg0

  # short-hand to call Java method 'public static java.io.BufferedReader java.nio.file.Files.newBufferedReader(java.nio.file.Path,java.nio.charset.Charset) throws java.io.IOException':
  #
  public newBufferedReader(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset) (outcome (Java.java.io.BufferedReader)) =>
    newBufferedReader_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_ Java.java.nio.file.Files_static.newBufferedReader.this.arg0 Java.java.nio.file.Files_static.newBufferedReader.this.arg1

  # short-hand to call Java method 'public static java.io.BufferedWriter java.nio.file.Files.newBufferedWriter(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newBufferedWriter(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.io.BufferedWriter)) =>
    newBufferedWriter_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.Files_static.newBufferedWriter.this.arg0 Java.java.nio.file.Files_static.newBufferedWriter.this.arg1

  # short-hand to call Java method 'public static java.io.BufferedWriter java.nio.file.Files.newBufferedWriter(java.nio.file.Path,java.nio.charset.Charset,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newBufferedWriter(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset, arg2 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.io.BufferedWriter)) =>
    newBufferedWriter_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.Files_static.newBufferedWriter.this.arg0 Java.java.nio.file.Files_static.newBufferedWriter.this.arg1 Java.java.nio.file.Files_static.newBufferedWriter.this.arg2

  # short-hand to call Java method 'public static java.nio.channels.SeekableByteChannel java.nio.file.Files.newByteChannel(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newByteChannel(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.nio.channels.SeekableByteChannel)) =>
    newByteChannel_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.Files_static.newByteChannel.this.arg0 Java.java.nio.file.Files_static.newByteChannel.this.arg1

  # short-hand to call Java method 'public static java.nio.channels.SeekableByteChannel java.nio.file.Files.newByteChannel(java.nio.file.Path,java.util.Set,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public newByteChannel(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.channels.SeekableByteChannel)) =>
    newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.Files_static.newByteChannel.this.arg0 Java.java.nio.file.Files_static.newByteChannel.this.arg1 Java.java.nio.file.Files_static.newByteChannel.this.arg2

  # short-hand to call Java method 'public static java.nio.file.DirectoryStream java.nio.file.Files.newDirectoryStream(java.nio.file.Path) throws java.io.IOException':
  #
  public newDirectoryStream(arg0 Java.java.nio.file.Path) (outcome (Java.java.nio.file.DirectoryStream)) =>
    newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.newDirectoryStream.this.arg0

  # short-hand to call Java method 'public static java.nio.file.DirectoryStream java.nio.file.Files.newDirectoryStream(java.nio.file.Path,java.lang.String) throws java.io.IOException':
  #
  public newDirectoryStream(arg0 Java.java.nio.file.Path, arg1 String) (outcome (Java.java.nio.file.DirectoryStream)) =>
    newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_ Java.java.nio.file.Files_static.newDirectoryStream.this.arg0 Java.java.nio.file.Files_static.newDirectoryStream.this.arg1

  # short-hand to call Java method 'public static java.io.InputStream java.nio.file.Files.newInputStream(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newInputStream(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.io.InputStream)) =>
    newInputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.Files_static.newInputStream.this.arg0 Java.java.nio.file.Files_static.newInputStream.this.arg1

  # short-hand to call Java method 'public static java.io.OutputStream java.nio.file.Files.newOutputStream(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newOutputStream(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.io.OutputStream)) =>
    newOutputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.Files_static.newOutputStream.this.arg0 Java.java.nio.file.Files_static.newOutputStream.this.arg1

  # short-hand to call Java method 'public static boolean java.nio.file.Files.notExists(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public notExists(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) (bool) =>
    notExists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.notExists.this.arg0 Java.java.nio.file.Files_static.notExists.this.arg1

  # short-hand to call Java method 'public static java.lang.String java.nio.file.Files.probeContentType(java.nio.file.Path) throws java.io.IOException':
  #
  public probeContentType(arg0 Java.java.nio.file.Path) (outcome (Java.java.lang.__jString)) =>
    probeContentType_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.probeContentType.this.arg0

  # short-hand to call Java method 'public static byte[] java.nio.file.Files.readAllBytes(java.nio.file.Path) throws java.io.IOException':
  #
  public readAllBytes(arg0 Java.java.nio.file.Path) (outcome (fuzion.java.Array (i8))) =>
    readAllBytes_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.readAllBytes.this.arg0

  # short-hand to call Java method 'public static java.util.List java.nio.file.Files.readAllLines(java.nio.file.Path) throws java.io.IOException':
  #
  public readAllLines(arg0 Java.java.nio.file.Path) (outcome (Java.java.util.List)) =>
    readAllLines_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.readAllLines.this.arg0

  # short-hand to call Java method 'public static java.util.List java.nio.file.Files.readAllLines(java.nio.file.Path,java.nio.charset.Charset) throws java.io.IOException':
  #
  public readAllLines(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset) (outcome (Java.java.util.List)) =>
    readAllLines_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_ Java.java.nio.file.Files_static.readAllLines.this.arg0 Java.java.nio.file.Files_static.readAllLines.this.arg1

  # short-hand to call Java method 'public static java.util.Map java.nio.file.Files.readAttributes(java.nio.file.Path,java.lang.String,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public readAttributes(arg0 Java.java.nio.file.Path, arg1 String, arg2 Sequence (Java.java.nio.file.LinkOption)) (outcome (Java.java.util.Map)) =>
    readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.readAttributes.this.arg0 Java.java.nio.file.Files_static.readAttributes.this.arg1 Java.java.nio.file.Files_static.readAttributes.this.arg2

  # short-hand to call Java method 'public static java.lang.String java.nio.file.Files.readString(java.nio.file.Path) throws java.io.IOException':
  #
  public readString(arg0 Java.java.nio.file.Path) (outcome (Java.java.lang.__jString)) =>
    readString_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.readString.this.arg0

  # short-hand to call Java method 'public static java.lang.String java.nio.file.Files.readString(java.nio.file.Path,java.nio.charset.Charset) throws java.io.IOException':
  #
  public readString(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.charset.Charset) (outcome (Java.java.lang.__jString)) =>
    readString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_charset_7_Charset_s_ Java.java.nio.file.Files_static.readString.this.arg0 Java.java.nio.file.Files_static.readString.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.readSymbolicLink(java.nio.file.Path) throws java.io.IOException':
  #
  public readSymbolicLink(arg0 Java.java.nio.file.Path) (outcome (Java.java.nio.file.Path)) =>
    readSymbolicLink_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.readSymbolicLink.this.arg0

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.setAttribute(java.nio.file.Path,java.lang.String,java.lang.Object,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public setAttribute(arg0 Java.java.nio.file.Path, arg1 String, arg2 Java.java.lang.Object, arg3 Sequence (Java.java.nio.file.LinkOption)) (outcome (Java.java.nio.file.Path)) =>
    setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.Files_static.setAttribute.this.arg0 Java.java.nio.file.Files_static.setAttribute.this.arg1 Java.java.nio.file.Files_static.setAttribute.this.arg2 Java.java.nio.file.Files_static.setAttribute.this.arg3

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.setLastModifiedTime(java.nio.file.Path,java.nio.file.attribute.FileTime) throws java.io.IOException':
  #
  public setLastModifiedTime(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.attribute.FileTime) (outcome (Java.java.nio.file.Path)) =>
    setLastModifiedTime_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_ Java.java.nio.file.Files_static.setLastModifiedTime.this.arg0 Java.java.nio.file.Files_static.setLastModifiedTime.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.setOwner(java.nio.file.Path,java.nio.file.attribute.UserPrincipal) throws java.io.IOException':
  #
  public setOwner(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.attribute.UserPrincipal) (outcome (Java.java.nio.file.Path)) =>
    setOwner_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_attribute_7_UserPrincipal_s_ Java.java.nio.file.Files_static.setOwner.this.arg0 Java.java.nio.file.Files_static.setOwner.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.setPosixFilePermissions(java.nio.file.Path,java.util.Set) throws java.io.IOException':
  #
  public setPosixFilePermissions(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set) (outcome (Java.java.nio.file.Path)) =>
    setPosixFilePermissions_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_ Java.java.nio.file.Files_static.setPosixFilePermissions.this.arg0 Java.java.nio.file.Files_static.setPosixFilePermissions.this.arg1

  # short-hand to call Java method 'public static long java.nio.file.Files.size(java.nio.file.Path) throws java.io.IOException':
  #
  public size(arg0 Java.java.nio.file.Path) (outcome (i64)) =>
    size_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.Files_static.size.this.arg0

  # short-hand to call Java method 'public static java.util.stream.Stream java.nio.file.Files.walk(java.nio.file.Path,java.nio.file.FileVisitOption[]) throws java.io.IOException':
  #
  public walk(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.FileVisitOption)) (outcome (Java.java.util.stream.Stream)) =>
    walk_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_ Java.java.nio.file.Files_static.walk.this.arg0 Java.java.nio.file.Files_static.walk.this.arg1

  # short-hand to call Java method 'public static java.util.stream.Stream java.nio.file.Files.walk(java.nio.file.Path,int,java.nio.file.FileVisitOption[]) throws java.io.IOException':
  #
  public walk(arg0 Java.java.nio.file.Path, arg1 i32, arg2 Sequence (Java.java.nio.file.FileVisitOption)) (outcome (Java.java.util.stream.Stream)) =>
    walk_Ljava_7_nio_7_file_7_Path_s_I_u00005b_Ljava_7_nio_7_file_7_FileVisitOption_s_ Java.java.nio.file.Files_static.walk.this.arg0 Java.java.nio.file.Files_static.walk.this.arg1 Java.java.nio.file.Files_static.walk.this.arg2

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.walkFileTree(java.nio.file.Path,java.nio.file.FileVisitor) throws java.io.IOException':
  #
  public walkFileTree(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.FileVisitor) (outcome (Java.java.nio.file.Path)) =>
    walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_FileVisitor_s_ Java.java.nio.file.Files_static.walkFileTree.this.arg0 Java.java.nio.file.Files_static.walkFileTree.this.arg1

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.walkFileTree(java.nio.file.Path,java.util.Set,int,java.nio.file.FileVisitor) throws java.io.IOException':
  #
  public walkFileTree(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 i32, arg3 Java.java.nio.file.FileVisitor) (outcome (Java.java.nio.file.Path)) =>
    walkFileTree_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_ILjava_7_nio_7_file_7_FileVisitor_s_ Java.java.nio.file.Files_static.walkFileTree.this.arg0 Java.java.nio.file.Files_static.walkFileTree.this.arg1 Java.java.nio.file.Files_static.walkFileTree.this.arg2 Java.java.nio.file.Files_static.walkFileTree.this.arg3

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.write(java.nio.file.Path,byte[],java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public write(arg0 Java.java.nio.file.Path, arg1 Sequence (i8), arg2 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.nio.file.Path)) =>
    write_Ljava_7_nio_7_file_7_Path_s__u00005b_B_u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.Files_static.write.this.arg0 Java.java.nio.file.Files_static.write.this.arg1 Java.java.nio.file.Files_static.write.this.arg2

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.write(java.nio.file.Path,java.lang.Iterable,java.nio.charset.Charset,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public write(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Iterable, arg2 Java.java.nio.charset.Charset, arg3 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.nio.file.Path)) =>
    write_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Iterable_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.Files_static.write.this.arg0 Java.java.nio.file.Files_static.write.this.arg1 Java.java.nio.file.Files_static.write.this.arg2 Java.java.nio.file.Files_static.write.this.arg3

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.writeString(java.nio.file.Path,java.lang.CharSequence,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public writeString(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.CharSequence, arg2 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.nio.file.Path)) =>
    writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.Files_static.writeString.this.arg0 Java.java.nio.file.Files_static.writeString.this.arg1 Java.java.nio.file.Files_static.writeString.this.arg2

  # short-hand to call Java method 'public static java.nio.file.Path java.nio.file.Files.writeString(java.nio.file.Path,java.lang.CharSequence,java.nio.charset.Charset,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public writeString(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.CharSequence, arg2 Java.java.nio.charset.Charset, arg3 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.nio.file.Path)) =>
    writeString_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_CharSequence_s_Ljava_7_nio_7_charset_7_Charset_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.Files_static.writeString.this.arg0 Java.java.nio.file.Files_static.writeString.this.arg1 Java.java.nio.file.Files_static.writeString.this.arg2 Java.java.nio.file.Files_static.writeString.this.arg3