@@ -25,10 +25,11 @@ * @test * @bug 6380723 * @summary Decode many byte sequences in many ways * @run main/timeout=1800 FindDecoderBugs * @author Martin Buchholz + * @key randomness */ import java.util.*; import java.util.regex.*; import java.nio.*;