// TODO load URLs from new repository roots, don't forget about all robot .jar files
// TODO or check it directly against repository ?
try {
final List<String> robots = new ArrayList<String>();
IRepositoryManager repositoryManager = Container.getComponent(IRepositoryManager.class);
if (repositoryManager != null) {
robots.add(repositoryManager.getRobotsDirectory().toURI().toString());
for (File devel : repositoryManager.getDevelDirectories()) {
robots.add(devel.toURI().toString());
}
}
while (tokenizer.hasMoreTokens()) {