public void setPropertiesFileDirectories(String paths) {
		String[] pathArray = paths.split(";");
		setPropertiesFileDirectories(Arrays.asList(pathArray));
	}
List of valid .properties file directory paths, separated by a ';'.

Typically, .properties files should be located in the same directory as their corresponding 
scripts. However, this method may need to be used when circumstances make it impossible to
have both files in the same directory (i.e., if the scripts are included in ghidra.jar).

@param paths  String representation of directories (each separated by ';')
Ghidra/Features/Base/src/main/java/ghidra/app/util/headless/HeadlessOptions.java