settings.json from DockerSetup removed, as it was meaningless