# HG changeset patch
# User weijun
# Date 1436347838 -28800
# Node ID 62ed3a1bf28d06f0617d1d2bb90c08eeedc2fce5
# Parent  c1e1214cebd3720d58cb77a6889ebd510a35dc34
8130720: BadKDC1 failed again
Reviewed-by: xuelei

diff -r c1e1214cebd3 -r 62ed3a1bf28d jdk/test/sun/security/krb5/auto/BadKdc1.java
--- a/jdk/test/sun/security/krb5/auto/BadKdc1.java	Tue Jul 07 21:25:05 2015 -0400
+++ b/jdk/test/sun/security/krb5/auto/BadKdc1.java	Wed Jul 08 17:30:38 2015 +0800
@@ -53,7 +53,7 @@
                // 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
        );
    }
 }