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.

Inizia con il comando di ridenominazione F2 della VS Code Java extension e riproduci su Windows la ridenominazione di una classe in cui cambia solo la distinzione tra maiuscole e minuscole. Traccia il modo in cui la ridenominazione aggiorna il file Java e la scheda dell’editor; il lavoro è completato quando entrambi corrispondono alla distinzione tra maiuscole e minuscole del nuovo nome della classe e la diagnostica del tipo pubblico è assente.