Update TextFormat.java