java.io.File中的pathSeparator、 pathSeparatorChar、 separator、 separatorChar的区别