I agree with you in general. But in this specific case, a walk by merge request should be acceptable. To anyone who is familiar with Java enought to be able to

I agree with you in general. But in this specific case, a walk by merge request should be acceptable. To anyone who is familiar with Java enought to be able to work on performance sensitive code, the described change is a no brainer. It doesn't need to be documented, it doesn't need to be discussed, I am pretty sure Intellij IDEA would highlight it as proposed change for performance reasons.