home/pf120623/data/testspec_samples/FileOpen.java

package testspec_samples;

/** Test class */
public class OpenFile {
    
    /** Constructor */
    public OpenFile() {
        int min = 1;
        int max = 10;
        
        System.out.println("Begin");
        for ( int index = min; ii < max; index++ ) {
            System.out.print(index +" ");
        }
        System.out.println("End");
    }
    
    public static void main ( String[] str ) {
        new OpenFile();
    }
}