public void setWhileyPath(List<File> roots) throws IOException {
whileypath.clear();
for (File root : roots) {
try {
if (root.getName().endsWith(".jar")) {
whileypath.add(new JarFileRoot(root, registry));
} else {
whileypath.add(new DirectoryRoot(root, wyilFileFilter, registry));
}
} catch (IOException e) {
if (verbose) {