class LockTest { public static void main(String[] args) throws Exception { MyThread t[]; int N = Integer.parseInt(args[0]); t = new MyThread[N]; /*@\label{LT1}@*/ MutexAlg lock = new MutexAlg(N); for (int i = 0; i < N; i++) { t[i] = new MyThread(i, lock); t[i].start(); } } }