v0.11 The system-dependent default name-separator java.io.File.separator
is implemented