String[] getUserParameterNames() throws IOException {
		if (recoveryFile == null) {
			throw new IOException("Version file is closed");
		}
		String[] allNames = recoveryFile.getParameterNames();
		ArrayList<String> list = new ArrayList<>();
		for (String name : allNames) {
			if (!name.startsWith(RECOVERY_PARM_PREFIX)) {
				list.add(name);
			}
		}
		String[] names = new String[list.size()];
		list.toArray(names);
		return names;
	}
Returns a list of parameters defined within the original buffer file.
@return the names
@throws IOException if the recovery file is null
Ghidra/Framework/DB/src/main/java/db/buffers/RecoveryFile.java