TEIIDDES-2266 Unexpected internal error near index 1 on Windows

Since File.separator=='\' on Windows, it should be quoted when it is used as a pattern for String.split().