public void loadSettings(String path)
    {
	try
	{
	    // Read the settings file, and store in an array.
	    String[] contents = Reader.getContents(path).split("\r");

	    // For each line from the settings file
	    for(int i = 0 ; i < contents.length ; i++)
	    {
		if( !contents[i].startsWith(" ") && // As long as the line doesn't begin with whitespace
			!contents[i].startsWith("//") && // or a comment
			!contents[i].startsWith("#") && // or a hash symbol
			!contents[i].contains("-settings=")) // or the path to another settings file
		    this.processArgument(contents[i]); // THEN, process the argument.
	    }
	}
	catch(NullPointerException npe){ System.out.println("Error reading settings file.");}
    }