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.

VS Code Java extension の F2 リネームコマンドから始め、Windows で大文字と小文字だけが変わるクラスのリネームを再現します。リネームによって Java ファイルとエディタータブがどのように更新されるかを追跡します。完了条件は、両方が新しいクラス名の大文字と小文字に一致し、public-type diagnostic が表示されないことです。