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

public interface Comando {

public void ejecutar();

} //End of class Comando