@JuditKnoll Thank you for the review. Am I supposed to mark the requested changes as "resolved" or is this the job of the reviewer (for example to verify if the changes indeed resolve the things mentioned)?

@JuditKnoll Thank you for the review. Am I supposed to mark the requested changes as "resolved" or is this the job of the reviewer (for example to verify if the changes indeed resolve the things mentioned)?

If you are absolutely sure, that the question is resolved, feel free to mark it, but you don't need to. I marked them as resolved.

Would you like to work on a fix for this issue, or you just wanted to report it with the reproducer?

If you are absolutely sure, that the question is resolved, feel free to mark it, but you don't need to. I marked them as resolved.

Thanks, will (try to) remember for the next time! :)

Would you like to work on a fix for this issue, or you just wanted to report it with the reproducer?

In theory I would like to, but in practice I have no idea if I find time for that. I am more just a user of SpotBugs, have debugged it once and failed quite miserably in identifying the root cause. So I would be more than happy if someone more knowledgeable than me could take a look at fixing this issue.