$package

import java.awt.Container;
import java.awt.GridLayout;

import javax.swing.JButton;
import javax.swing.JLabel;
import javax.swing.JTextField;
import javax.swing.JComboBox;
import javax.swing.SwingConstants;
import javax.swing.JTextArea;
import javax.swing.JScrollPane;
import java.awt.GridLayout;
import java.awt.FlowLayout;
import javax.swing.BoxLayout;

import org.jcsp.lang.*;
import java.math.BigInteger;
$imports

public class $className extends javax.swing.JFrame implements CSProcess {
    
    private String processName;
    
	JTextArea area = new JTextArea (7, 20);
    JScrollPane scroll;
	
	$chanDecl
    
    public $className (String processName $chanParam) {
        this.processName = processName;
        
        $chanAssign
    }
    
    private void initComponents() {
        area.setEditable(false);
        scroll = new JScrollPane (area);
        this.setDefaultCloseOperation(javax.swing.WindowConstants.DO_NOTHING_ON_CLOSE);
        this.setTitle(this.processName);
        this.addWindowListener(new java.awt.event.WindowAdapter() {
            public void windowClosing(java.awt.event.WindowEvent evt) {
                exitForm(evt);
            }
        });
        
        //Create and set up the content pane.
        javax.swing.JComponent contentPane = new javax.swing.JPanel();
        contentPane.setOpaque(true);
        contentPane.setBorder(javax.swing.BorderFactory.createEmptyBorder(3, 3, 3, 3));
        this.setContentPane(contentPane);
        this.getContentPane().setLayout(new BoxLayout (this.getContentPane(), BoxLayout.Y_AXIS)/*GridLayout(0, 3, 3, 3)*/);

		$chanInit

		this.getContentPane().add(scroll);
        this.pack();
    }
    
    $chanActPerf

    /* Exit the Application */
    private void exitForm(java.awt.event.WindowEvent evt) {
        System.exit(0);
    }

    
    public void run() {
        (new CSProcess() {

            private void initGui() {
                initComponents();
                setLocation(10, 10);
                show();
            }

            public void run(){
                initGui();
            }
            
        }).run();
        
    }
    
}