SBT java.io.IOException: Не в формате GZIP

A Windows Машина 7 Pro была выключена неправильно. Когда машина снова заработала, запуск sbt test привел к следующей ошибке:

[error] {file:/C:/Jenkins/jobs/job1/workspace/}default-2990ce/copy-resources: Error wrapping InputStream in GZIPInputStream: java.io.IOException: Not in GZIP format

Как это можно исправить?