Issue #8539: change diff trigger
Issue #8539: change diff trigger

checkstyle/checkstyle,romani/checkstyle,rnveach/checkstyle,checkstyle/checkstyle,checkstyle/checkstyle,romani/checkstyle,romani/checkstyle,checkstyle/checkstyle,rnveach/checkstyle,rnveach/checkstyle,rnveach/checkstyle,checkstyle/checkstyle,rnveach/checkstyle,romani/checkstyle,checkstyle/checkstyle,romani/checkstyle,romani/checkstyle,rnveach/checkstyle