for (int i = 0; i < options.proc; i++) { checkers[i] = new ThreadedChecker(this, tree, i * length, i == options.proc - 1 ? tree.length : (i + 1) * length);
for (int i = 0; i < KjcOptions.proc; i++) { checkers[i] = new ThreadedChecker(this, tree, i * length, i == KjcOptions.proc - 1 ? tree.length : (i + 1) * length);
    protected void checkBodyMultiProc(final JCompilationUnit[] tree) {	try {	    Thread[]		checkers = new Thread[tree.length];	    int		length = tree.length / options.proc;	    for (int i = 0; i < options.proc; i++) {		checkers[i] = new ThreadedChecker(this, tree, i * length, i == options.proc - 1 ? tree.length : (i + 1) * length);		checkers[i].start();	    }	    for (int i = 0; i < options.proc; i++) {		checkers[i].join();	    }	} catch (InterruptedException ie) {	    ie.printStackTrace();	}    }