scenarioExecutor.setMinimumSize(new java.awt.Dimension(800, 600)); scenarioExecutor.setPreferredSize(new java.awt.Dimension(1024, 768)); getContentPane().add(scenarioExecutor, new java.awt.GridBagConstraints());
getContentPane().add(scenarioExecutor, java.awt.BorderLayout.CENTER);
    private void initComponents() {        scenarioExecutor = new verifier.ScenarioExecutor();        getContentPane().setLayout(new java.awt.GridBagLayout());        setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);        addComponentListener(new java.awt.event.ComponentAdapter() {            public void componentResized(java.awt.event.ComponentEvent evt) {                formComponentResized(evt);            }        });        addWindowListener(new java.awt.event.WindowAdapter() {            public void windowClosing(java.awt.event.WindowEvent evt) {                formWindowClosing(evt);            }        });        scenarioExecutor.setMinimumSize(new java.awt.Dimension(800, 600));        scenarioExecutor.setPreferredSize(new java.awt.Dimension(1024, 768));        getContentPane().add(scenarioExecutor, new java.awt.GridBagConstraints());        pack();    }