在File类中有两个字符串,separator和pathSeparator。有什么不同?什么时候我应该使用其中一种而不是另一种?