@@ -22,10 +22,11 @@ */ /* @test * @bug 6206780 * @summary Test StringBuilder.append(StringBuffer); + * @key randomness */ import java.util.Random; public class AppendStringBuffer {