public class MathUtils { public static int divide(int dividend, int divisor) { @NonZero int nonZeroDivisor = Check4J.check(divisor != 0, "Divisor cannot be zero"); return dividend / nonZeroDivisor; } }