Updating line numbers in uic3 auto-tests