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