Davide De Rosa 5df614b5e2 Fix incomplete builder() from Configuration ... Adding a Configuration field is error-prone beyond reason...		2019-04-11 15:30:14 +02:00
..
Sources	Fix incomplete builder() from Configuration	2019-04-11 15:30:14 +02:00