sevntu_launch_diff: added sevntu difference utility
sevntu_launch_diff: added sevntu difference utility
checkstyle/contribution,checkstyle/contribution,rnveach/contribution,rnveach/contribution,rnveach/contribution,checkstyle/contribution,checkstyle/contribution,checkstyle/contribution,rnveach/contribution,rnveach/contribution,rnveach/contribution,rnveach/contribution,checkstyle/contribution,checkstyle/contribution