java中获取文件名方法file.getName()的bug

java中获取文件名方法file.getName()，有时候文件路径中斜杠写法不规范，可能会出问题的。
环境：jdk：1.6,
linux版本：Linux Enterprise Server 11
文件路径：/wshhms/uploadPdfToSdk\2020-0112-238382.pdf
** windows中斜杠为“\”,linux中斜杠为“/”,
Java中获取文件的方法：file.getName();
此时在linux中获取文件名就是是有问题的，如下：

File file = new File("/wshhms/uploadPdfToSdk\2020-0112-238382.pdf");
System.out.println("文件名："+file.getName());

输出结果为：

文件名：uploadPdfToSdk\2020-0112-238382.pdf

就是因为最后一个“\”,它是windows中的符号。
如下图，就可以正常获取：

File file = new File("/wshhms/uploadPdfToSdk/2020-0112-238382.pdf");
System.out.println("文件名："+file.getName());

输出结果为：

文件名：2020-0112-238382.pdf

其实不同的jdk和linux版本，有可能也不会出现这个问题，但是为了保险起见，还是要写法规范。