Update TextFormatWriter.java