docs: private void writeUid(File uidFile, String uid) {
  		BufferedWriter bw = null;
  		try {
  			bw = new BufferedWriter(new FileWriter(uidFile));
  			bw.write(uid);
  		}
  		catch (IOException ioe) {}
  		finally { if (bw != null) { try { bw.close(); } catch (IOException ioe) {} } }
  	}