Community
Participate
Working Groups
The link "configure problem severity" from problem hovers always takes you to the Java compiler preferences, and if the problem is OT-related, the appropriate option is not found / highlighted.
Dispatch to the desired page was easily implemented using a new team (for now only project properties, not preferences). commit 04fe3c55da6205c9a3bc2c36a3d7924c72642552