-- ArrayIndexOutOfBoundsException


package java::lang


context ArrayIndexOutOfBoundsException::
                      ArrayIndexOutOfBoundsException()
  pre : true
  post: true


endpackage