//This file generated automatically from the MARIUS LP system, please do not edit.

public interface OpcionCaptura {

public void opciones(String[] lista);

} //End of class OpcionCaptura