Property definitions

java $ JavaArray :: defaultinit
# Java primitive array `Object[]`
extern class JavaArray in "Java" `{ java.lang.Object[] `}
	super AbstractJavaArray[JavaObject]

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

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

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

	redef fun length in "Java" `{ return self.length; `}
end
lib/java/collections.nit:122,1--134,3