sync Ceylon and Java definitions of Array