private void setConfigValues(BufferedReader reader) throws IOException
	{
		String line;
		while ((line = reader.readLine()) != null) {
			if (line.startsWith("#") || "".equals(line) || line.startsWith(" ") || line.startsWith("\t")) {
				// The line is either a comment or whitespace. Leave it be.
			} else {
				String[] parts = line.split("=");
				// There might be = signs in the values if they are strings, 
				// so merge all but the first one
				for (int i = 2; i < parts.length; i++) {
					parts[1] = parts[1] + parts[i];
				}
				
				switch(parts[0]) {
					case "rows":
						this.rows = Integer.parseInt(parts[1]);
						break;
					case "cols":
						this.cols = Integer.parseInt(parts[1]);
						break;
					case "fractionMines":
						this.fractionMines = Double.parseDouble(parts[1]);
						break;
				}
			}
		}
	}