public ResourceFile[] listFiles(ResourceFileFilter filter) {
		return resource.listFiles(filter);
	}
Returns a array of ResourceFiles if this ResourceFile is a directory. Otherwise return null.
@param filter a filter to restrict the array of files returned.
@return  the child ResourceFiles if this is a directory, null otherwise.
Ghidra/Framework/Utility/src/main/java/generic/jar/ResourceFile.java