735 /** |
735 /** |
736 * Gets the default Java configuration file name. |
736 * Gets the default Java configuration file name. |
737 * |
737 * |
738 * If the system property "java.security.krb5.conf" is defined, we'll |
738 * If the system property "java.security.krb5.conf" is defined, we'll |
739 * use its value, no matter if the file exists or not. Otherwise, we |
739 * use its value, no matter if the file exists or not. Otherwise, we |
740 * will look at $JAVA_HOME/lib/security directory with "krb5.conf" name, |
740 * will look at $JAVA_HOME/conf/security directory with "krb5.conf" name, |
741 * and return it if the file exists. |
741 * and return it if the file exists. |
742 * |
742 * |
743 * The method returns null if it cannot find a Java config file. |
743 * The method returns null if it cannot find a Java config file. |
744 */ |
744 */ |
745 private String getJavaFileName() { |
745 private String getJavaFileName() { |
746 String name = getProperty("java.security.krb5.conf"); |
746 String name = getProperty("java.security.krb5.conf"); |
747 if (name == null) { |
747 if (name == null) { |
748 name = getProperty("java.home") + File.separator + |
748 name = getProperty("java.home") + File.separator + |
749 "lib" + File.separator + "security" + |
749 "conf" + File.separator + "security" + |
750 File.separator + "krb5.conf"; |
750 File.separator + "krb5.conf"; |
751 if (!fileExists(name)) { |
751 if (!fileExists(name)) { |
752 name = null; |
752 name = null; |
753 } |
753 } |
754 } |
754 } |