public class Demo {
    static class ExpirationException extends RuntimeException {}
    static class Handler {
        RuntimeException handle(ExpirationException ex) { return ex; }
    }
    private final Handler h = new Handler();

    // BEFORE — pattern-matching instanceof: NO violation reported
    public void before() {
        try {
            throw new ExpirationException();
        } catch (RuntimeException ex) {
            throw ex instanceof ExpirationException e ? h.handle(e) : ex;
        }
    }

    // AFTER — traditional instanceof + cast: AvoidInstanceofChecksInCatchClause reported
    public void after() {
        try {
            throw new ExpirationException();
        } catch (RuntimeException ex) {
            throw ex instanceof ExpirationException
                    ? h.handle((ExpirationException) ex)
                    : ex;
        }
    }
}