Incluido procedimiento en oval.java para aislar la obtención de todas
las definiciones.