Puerta de acceso al Castillo de San Pedro, JACA