File.separator vs File.pathSeparator