ProjectRootFile=PARENT-1-PROJECT_LOC/gossip.tla
eclipse.preferences.version=1