minimal regression for

  java.lang.ClassCastException: [Ljava.lang.Object; cannot be cast to [I

when trying to dereference a State