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.

Comienza con el comando de renombrado F2 de la VS Code Java extension y reproduce en Windows el renombrado de una clase en el que solo cambia el uso de mayúsculas y minúsculas. Sigue cómo el renombrado actualiza el archivo Java y la pestaña del editor; se considera terminado cuando ambos coinciden con el uso de mayúsculas y minúsculas del nuevo nombre de clase y el diagnóstico de tipo público está ausente.