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