-- SecurityException package java::lang context SecurityException::SecurityException() pre : true post: true endpackage