more special cases (Java arrays)