$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
  	}	
  }