.project file for jenkins later on.