-- IndexOutOfBoundsException


package java::lang


context IndexOutOfBoundsException::IndexOutOfBoundsException()
  pre : true
  post: true


endpackage