# Java primitive array `int[]`
extern class JavaIntArray in "Java" `{ int[] `}
	super AbstractJavaArray[Int]

	# Get a new array of the given `size`
	new (size: Int) in "Java" `{ return new int[(int)size]; `}

	redef fun [](i) in "Java" `{ return self[(int)i]; `}

	redef fun []=(i, e) in "Java" `{ self[(int)i] = (int)e; `}

	redef fun length in "Java" `{ return self.length; `}
end