String[] getOldParameterNames() {
		ArrayList<String> list = new ArrayList<String>();
		Enumeration<String> it = origParms.keys();
		while (it.hasMoreElements()) {
			String name = it.nextElement();
			list.add(name);
		}
		String[] names = new String[list.size()];
		list.toArray(names);
		return names;
	}
Returns a list of parameters defined within the original beffer file.
Ghidra/Framework/DB/src/main/java/db/buffers/VersionFileHandler.java