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

public interface Borracho {

} //End of class Borracho