if (!datafile.exists() && datafile.getParent() != null) { File parent = new File(datafile.getParent()); if (!parent.exists()) parent.mkdir(); }
	public void save() throws IOException {		FileOutputStream fos = new FileOutputStream(datafile);		try {			properties.store(fos, header);		} finally {			fos.close();		}	}