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 类型诊断。