Searched refs:ARCHIVE_FILTER (Results 1 – 1 of 1) sorted by relevance
47 private static final FilenameFilter ARCHIVE_FILTER = new FilenameFilter() { field in ClassPath165 final String[] extensions = ext_dir.list(ARCHIVE_FILTER); in getClassPath()