spring-tools-4 - 使用 STS 4 IDE Java 编译器错误首选项 Empty Statement 被忽略

Question

在 Preference 对话框中，Java->Compiler->Error/Warnings 的选择，将潜在编程问题部分中的“Empty Statement”选项更改为除错误以外的任何值似乎都被忽略了。我尝试在全局和项目级别更改选项，结果相同。无论选项值如何，只要一行以双分号结尾，都会报告为语法错误。

这是一个已知问题，是否有解决方案或解决方法。我在无权更改的代码中遇到了这个问题。