Jardín abierto en 1903, después parcialmente destruido durante la construcción del actual edificio del Palacio de Justicia (1963) y reformado más tarde.