Just to close it ...
I wanted ${file.separator} , not ${path.separator} . ${path.separator} is what is used to separate directory names in paths. On Windows, this ; , and on Mac and Unix - :
${file.separator} is a directory delimiter. On Windows, this is \ , and on Unix and Mac it is `/ '.
I got confused because on old System X computers the file separator was : I usually use / , but this did not work in this one project.
David W.
source share