File.separator vs FileSystem.getSeparator () vs System.getProperty («file.separator»)?

Кажется, есть три идентичных способы получить платформенно-зависимый "разделитель файлов" независимо от платформы:

• java.io.File.separator

• java.nio.file.FileSystems.getDefault (). getSeparator ();

• System. getProperty ("file.separator")

Как мы решаем, когда какие использовать?

Есть ли хоть какая-то разница между ними?