jdk/src/share/classes/sun/security/krb5/Config.java
changeset 23336 7e5853f091e9
parent 23010 6dadb192ad81
child 23716 33cc4db6209b
--- a/jdk/src/share/classes/sun/security/krb5/Config.java	Mon Mar 10 12:05:43 2014 -0700
+++ b/jdk/src/share/classes/sun/security/krb5/Config.java	Tue Mar 11 07:56:49 2014 +0800
@@ -549,12 +549,11 @@
                             previous = line.substring(1).trim();
                         }
                     } else {
-                        if (previous == null) {
-                            throw new KrbException(
-                                "Config file must starts with a section");
+                        // Lines before the first section are ignored
+                        if (previous != null) {
+                            v.add(previous);
+                            previous = line;
                         }
-                        v.add(previous);
-                        previous = line;
                     }
                 }
                 if (previous != null) {