It seems that project.properties is necessary to build on jenkins

If it is not present, the project "forgets" that it is a library project