Good point. Actually the plugin didn't handle this case either (fixed now). Than...

		rogerkeays on July 14, 2023 \| parent \| context \| favorite \| on: Unchecked Java: Say goodbye to checked exceptions Good point. Actually the plugin didn't handle this case either (fixed now). Thanks for the feedback.