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

public class Alumno {

 private int _clave;
  public  int getClave() { return _clave;}
  public void setClave(int cv) { _clave = cv;}

} //End of class Alumno