Index: org/apache/tomcat/buildutil/Txt2Html.java
===================================================================
--- org/apache/tomcat/buildutil/Txt2Html.java	(revision 831814)
+++ org/apache/tomcat/buildutil/Txt2Html.java	(working copy)
@@ -133,7 +133,7 @@
         // Convert, line-by-line:
         String line;
         while( (line = in.readLine()) != null ) {
-            StringBuffer result = new StringBuffer();
+            StringBuilder result = new StringBuilder();
             int len = line.length();
             for( int i = 0; i < len; i++ ) {
                 char c = line.charAt( i );