加载Properties文件

// Load the user settings.
String userSettingsFile = System.getProperty("user.home")+"/user_settings.ini";
BufferedReader in = null;
try {
    in = Utilities.getBufferedReader(userSettingsFile);
    settings.load(in);
    in.close();
} catch (Exception e) {
    /* Program starts with default settings. */
}
finally {
    if(in != null)
    try {
        in.close();
    } catch (IOException e) {}
}

 

/**
 * Returns a <code>BufferedReader</code> to the file corresponding to the passed filename.
 * <p>
 * This method searches for the file in the class path.
 *  
 * @param filename  the name of the file
 * @return the <code>BufferedReader</code> to the file corresponding to the passed filename
 */
public static BufferedReader getBufferedReader(String filename) {

    BufferedReader b = null;

    // Try to read the file, no matter if it is in the class path or not.
    try {
        b = new BufferedReader(new FileReader(filename));	
    } catch (Exception e) {}

    // If the program is started as web start application the file 
    // may be in the jar file.Hence try to read it from the jar, too.
    try {
        if(b == null)
	    b = new BufferedReader(new InputStreamReader(Main.class.getResourceAsStream(filename)));			
    } catch (Exception e) {}
        return b;
}