Overflow-prone comparisons in Jav…