StringBuilder instead of StringBuffer in
HTMLPrinter

Used upcoming JDT cleanup to replace this usage in PDE, StringBuilder is
not synchronized and hence should be preferred.

Change-Id: I7d141dc73d61ef1135c912c2025a822cde5cf021
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/181565
Tested-by: Platform Bot <platform-bot@eclipse.org>
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/internal/text/html/HTMLPrinter.java b/org.eclipse.jface.text/src/org/eclipse/jface/internal/text/html/HTMLPrinter.java
index 079bbd4..a620e3d 100644
--- a/org.eclipse.jface.text/src/org/eclipse/jface/internal/text/html/HTMLPrinter.java
+++ b/org.eclipse.jface.text/src/org/eclipse/jface/internal/text/html/HTMLPrinter.java
@@ -356,7 +356,7 @@
 		if (styles == null || styles.length == 0)
 			return;
 
-		StringBuffer styleBuf= new StringBuffer(10 * styles.length);
+		StringBuilder styleBuf= new StringBuilder(10 * styles.length);
 		for (String style : styles) {
 			styleBuf.append(" style=\""); //$NON-NLS-1$
 			styleBuf.append(style);