9899100101102103104
/** * Return a file filter that returns all configurator plugins * whose state has been modified in the domain-registry. */ protected FilenameFilter getFilenameFilter() { return new ConfigurableJarFileFilter(ar); }