array conversions in ceylon.interop.java