Recent jdt.core builds show many new warnings from API tools with no related change in jdt.core:
Most of these warnings/filters may have been wrong all those years, but at least the following warnings should still be reported, i.e., filters should still be needed:
This makes me wonder if any of these changes are intended?
Recent jdt.core builds show many new warnings from API tools with no related change in jdt.core:
Most of these warnings/filters may have been wrong all those years, but at least the following warnings should still be reported, i.e., filters should still be needed:
This makes me wonder if any of these changes are intended?