$package

import java.util.*;
import org.jcsp.lang.*;
$imports

public class $nameMain {

	public static void main(String args[]) { 

		Any2OneChannel endManager = Channel.any2one(); //Isto aqui é GERADO pela API de Velocity. Se removido, prejudica o código gerado para o protocolo de multisincronização

		$declarations

		$processCall
	}	
}