this.state1  = null; this.state2  = null; this.state3  = null; this.state4  = null; this.transition1_2 = null; this.transition2_3 = null; this.transition3_4 = null; this.transition1_end = null;
    public void tearDown()    {        this.process = null;    }