Renaming a Java object to change the case without changing the name does not result in a properly renamed file

If you have a class, say someClassIWrote, tied to a file someClassIWrote.java and you rename the class using the F2 refactor command changing only the case, to, say, SomeClassIWrote, the filename's case does not change to match. This causes the error "The public type SomeClassIWrote must be defined in its own fileJava(16777541)" to be emitted. Renaming the file itself fixes the problem. (Interestingly, the Tab filename does not change to match.) This is probably due to a mismatch between the case sensitivity of the Linux OS vs the case insensitivity of the Windows OS.

Environment

• Operating System: Windows 10
• JDK version:
  openjdk version "17.0.8.1" 2023-08-24
  OpenJDK Runtime Environment Temurin-17.0.8.1+1 (build 17.0.8.1+1)
  OpenJDK 64-Bit Server VM Temurin-17.0.8.1+1 (build 17.0.8.1+1, mixed mode, sharing)
• Visual Studio Code version: 1.85.1 (WPILib FIRST Robotics edition)
• Java extension version: v1.30.2024042308

Steps To Reproduce

1. Create an object
2. Change the case of a single letter via the F2 command

I'm somewhat inexperienced with this IDE, so I will go after logs on request. I figure checking for this behavior is extremely easy.

Commencez par la commande de renommage F2 de la VS Code Java extension et reproduisez sous Windows le renommage d’une classe où seule la casse change. Suivez la manière dont le renommage met à jour le fichier Java et l’onglet de l’éditeur ; c’est terminé lorsque les deux correspondent à la casse du nouveau nom de classe et que le diagnostic de type public est absent.