Java/jdk/internal/util/random/RandomSupport_S_RandomSpliterator_static.fz
# Fuzion interface to static members of Java class 'jdk.internal.util.random.RandomSupport$RandomSpliterator'
#
# !!!!!! 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.jdk.internal.util.random.RandomSupport_S_RandomSpliterator_static is
# call Java constructor 'public jdk.internal.util.random.RandomSupport$RandomSpliterator(long,long)':
#
public new_JJ(arg0 i64, arg1 i64) Java.jdk.internal.util.random.RandomSupport_S_RandomSpliterator =>
fuzion.java.call_constructor (Java.jdk.internal.util.random.RandomSupport_S_RandomSpliterator) "jdk.internal.util.random.RandomSupport\$RandomSpliterator" "(JJ)V" [(fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_S_RandomSpliterator_static.new_JJ.this.arg0); (fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_S_RandomSpliterator_static.new_JJ.this.arg1)]
# short-hand to call Java constructor 'public jdk.internal.util.random.RandomSupport$RandomSpliterator(long,long)':
#
public new(arg0 i64, arg1 i64) (Java.jdk.internal.util.random.RandomSupport_S_RandomSpliterator) =>
new_JJ Java.jdk.internal.util.random.RandomSupport_S_RandomSpliterator_static.new.this.arg0 Java.jdk.internal.util.random.RandomSupport_S_RandomSpliterator_static.new.this.arg1