-- IOException extends Exception

-- import java.lang.*;


package java::io



context IOException::IOException()
  pre : true
  post: true



endpackage