treeScroller = new javax.swing.JScrollPane(); contextTree = new verifier.ContextTree(); verticalSplit1 = new javax.swing.JSplitPane();
verticalSplit = new javax.swing.JSplitPane();
    private void initComponents() {        horizontalSplit = new javax.swing.JSplitPane();        treeScroller = new javax.swing.JScrollPane();        contextTree = new verifier.ContextTree();        verticalSplit1 = new javax.swing.JSplitPane();        debugControlPanel = new verifier.DebugControlPanel();        verticalSplit2 = new javax.swing.JSplitPane();        descriptionPaneScroller = new javax.swing.JScrollPane();        descriptionPanel = new javax.swing.JTextPane();        loggerScroller = new javax.swing.JScrollPane();        loggerPanel = new verifier.ContextLoggerPanel();        setLayout(new java.awt.GridBagLayout());        setPreferredSize(new java.awt.Dimension(1024, 768));        horizontalSplit.setMinimumSize(new java.awt.Dimension(800, 600));        horizontalSplit.setPreferredSize(new java.awt.Dimension(1024, 768));        treeScroller.setMinimumSize(new java.awt.Dimension(150, 600));        treeScroller.setPreferredSize(new java.awt.Dimension(150, 600));        contextTree.setMaximumSize(new java.awt.Dimension(250, 768));        contextTree.setMinimumSize(new java.awt.Dimension(150, 600));        contextTree.setPreferredSize(new java.awt.Dimension(150, 768));        treeScroller.setViewportView(contextTree);        horizontalSplit.setRightComponent(treeScroller);        verticalSplit1.setOrientation(javax.swing.JSplitPane.VERTICAL_SPLIT);        verticalSplit1.setMinimumSize(new java.awt.Dimension(650, 600));        verticalSplit1.setPreferredSize(new java.awt.Dimension(874, 768));        debugControlPanel.setMaximumSize(new java.awt.Dimension(1024, 80));        debugControlPanel.setMinimumSize(new java.awt.Dimension(650, 40));        debugControlPanel.setPreferredSize(new java.awt.Dimension(874, 768));        verticalSplit1.setLeftComponent(debugControlPanel);        verticalSplit2.setOrientation(javax.swing.JSplitPane.VERTICAL_SPLIT);        descriptionPaneScroller.setMinimumSize(new java.awt.Dimension(703, 200));        descriptionPaneScroller.setPreferredSize(new java.awt.Dimension(703, 300));        descriptionPanel.setMinimumSize(new java.awt.Dimension(700, 50));        descriptionPanel.setPreferredSize(new java.awt.Dimension(700, 200));        descriptionPaneScroller.setViewportView(descriptionPanel);        verticalSplit2.setRightComponent(descriptionPaneScroller);        loggerPanel.setMinimumSize(new java.awt.Dimension(650, 400));        loggerPanel.setPreferredSize(new java.awt.Dimension(874, 400));        loggerScroller.setViewportView(loggerPanel);        verticalSplit2.setRightComponent(loggerScroller);        verticalSplit1.setRightComponent(verticalSplit2);        horizontalSplit.setRightComponent(verticalSplit1);        add(horizontalSplit, new java.awt.GridBagConstraints());    }