void (MavenIndexImpl index) { Properties props = new Properties(); props.setProperty(KIND_KEY, index.getKind().toString()); props.setProperty(ID_KEY, index.getRepositoryId()); props.setProperty(PATH_OR_URL_KEY, index.getRepositoryPathOrUrl()); props.setProperty(INDEX_VERSION_KEY, CURRENT_VERSION); props.setProperty(TIMESTAMP_KEY, String.valueOf(index.getUpdateTimestamp())); if (index.getDataDirName() != null) props.setProperty(DATA_DIR_NAME_KEY, index.getDataDirName()); if (index.getFailureMessage() != null) props.setProperty(FAILURE_MESSAGE_KEY, index.getFailureMessage()); try (FileOutputStream s = new FileOutputStream(new File(index.getDir(), INDEX_INFO_FILE))) { props.store(s, null); } catch (IOException e) { MavenLog.LOG.warn(e); } }