docs: static Configuration read(File f) throws FileNotFoundException, IOException {
  		try (ObjectInputStream is = new ObjectInputStream(new FileInputStream(f))) {
  			return (Configuration)is.readObject();
  		} catch (ClassNotFoundException e) {
  			throw new IOException("Failed to deserialize.", e);
  		}
  	}