*** 25,34 **** --- 25,35 ---- * @test * @bug 6233345 6381699 6381702 6381705 6381706 * @summary Encode many char sequences in many ways * @run main/timeout=1200 FindEncoderBugs * @author Martin Buchholz + * @key randomness */ import java.util.*; import java.util.regex.*; import java.nio.*;