CopyPdfFiles.java: Now produces EROFS error :(