В ОС Windows у меня есть файл, например "README".
Используя Java, File("readme").exists() вернет true
File("readme").exists()
Как получить истинное имя файла, примерно так:
new File("readme").getTrueFileName() //return "README"
Посмотрите на File.getCanonicalPath - это возвращает "реальное" имя файла.
File.getCanonicalPath
Также есть File.getCanonicalFile, который возвращает ту же информацию, но как File объект.
File.getCanonicalFile
File
(Я только что проверил это в вашей конкретной ситуации, и она отлично работает.)
Вы можете попробовать File.getCanonicalPath.У меня нет окна Windows, чтобы проверить это, так что это просто удар в темноте.