if (property != null) {
for (String path : property.split(":")) {
try {
if (path.endsWith(".jar")) {
// TODO: test this new functionality
for (String root: new RascalManifest().getSourceRoots(new File(path))) {
l.add(URIUtil.fixUnicode(URIUtil.create("jar","",path + "!" + root)));
}
}
else {
l.add(URIUtil.fixUnicode(new File(path).toURI()));