Spanish juice was a form of licorice from Spain. Hartshorn shavings are just what the words say--shavings of the horn of a hart (hart=deer). My guess would be as a fining. --S. Thomas