-- NegativeArraySizeException


package java::lang


context NegativeArraySizeException::
                       NegativeArraySizeException()
  pre : true
  post: true


endpackage