Revert "Test failure to test Jenkins CI."

This reverts commit b3bd0a3c3f53b617ff5a55388415c0756ee0e203.