Need explicit integer width when making a Java int array