Maven: actualización de dependencia.
Merge branch 'master' into dev-Core
Core: mejoras en la lectura de opciones.