if (FindBugs.DEBUG) e.printStackTrace();
	public void write() {		try {			File prefFile = new File(System.getProperty("user.home"), PREF_FILE_NAME); 			write(new FileOutputStream(prefFile));		} catch (IOException e) {			// Ignore		}	}