Update HoloEverywhere (somehow my Eclipse reverted it to an earlier
version)