resolverRegistry.registerInput(new JarURIResolver());
resolverRegistry.registerInputOutput(rascalPathResolver);
resolverRegistry.registerInputOutput(new HomeURIResolver());
resolverRegistry.registerInputOutput(new TempURIResolver());
// here we have code that makes sure that courses can be edited by
// maintainers of Rascal, using the -Drascal.courses=/path/to/courses property.
final String courseSrc = System.getProperty("rascal.courses");