151152153154155156157158159160161
} scanner.setCaseSensitive(caseSensitive); scanner.init(); // index from this package down publicPathEntries.addRootPackage(publicPackage, new FileFilter() { public boolean accept(String name) { return scanner.match(name); } }); }