Uses of Class
org.jcsp.awt.ActiveClosingFrame