-- Exception


package java::lang


context Exception::Exception
  pre : true
  post: true


endpackage