private int[] getFileVersions(ArrayList<String> fileList) {
		ArrayList<Integer> list = new ArrayList<>();
		Iterator<String> iter = fileList.iterator();
		while (iter.hasNext()) {
			String fname = iter.next();
			int ix1 = fname.indexOf('.');
			int ix2 = fname.indexOf('.', ix1 + 1);
			if (ix1 < 0 || ix2 < ix1) {
				log.error(dbDir + ": bad file name: " + fname);
				continue;
			}
			String v = fname.substring(ix1 + 1, ix2);
			try {
				list.add(Integer.valueOf(v));
			}
			catch (NumberFormatException e) {
				log.error(dbDir + ": bad file name: " + fname);
			}
		}
		int[] versions = new int[list.size()];
		Iterator<Integer> versionsIter = list.iterator();
		int ix = 0;
		while (versionsIter.hasNext()) {
			versions[ix++] = versionsIter.next().intValue();
		}
		Arrays.sort(versions);
		return versions;
	}
Scan files and update state.
@param repair if true files are repaired if needed.
Ghidra/Framework/DB/src/main/java/db/Database.java