public class VerifierAppFrame extends JFrame(Code)
This class implements a machine-generated frame for use with
the GraphicalVerfifier.
version: $Id: VerifierAppFrame.java 386056 2006-03-15 11:31:56Z tcurdt $ author: Enver Haase See Also:GraphicalVerifier