8130720: BadKDC1 failed again

Reviewed-by: xuelei

jdk/test/sun/security/krb5/auto/BadKdc1.java

@@ -53,7 +53,7 @@ public class BadKdc1 {
                // k3 off k2 on
                "(122212(22){1,2}|1222323232-)", // 1
                // k1 on
-               "(12(12){1,2}|122232-)"  // empty
+               "(12(12){1,2}|122212|122232-)"  // empty
        );
    }
 }