This will fix Eclipse not finding Holoeverywhere's sources, although it may break Maven.